tag :: uml 2004 semantics

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)17
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1On formalizing UML state machines using ASMs
E. Börger, A. Cavarra, and E. Riccobene. Information and Software Technology, 46 (5): 287--292 (April 2004)
16 years ago by @leonardo
show all tags
2004
semantics
\_hardcopy
statecharts
\_pdf
uml
2004semantics\_hardcopystatecharts\_pdfuml
(0)
copydeleteadd this publication to your clipboard
1OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
M. Cengarle, and A. Knapp. Software and Systems Modeling, V3 (1): 9--30 (March 2004)
16 years ago by @leonardo
show all tags
2004
semantics
ocl
operational
\_pdf
uml
denotational
2004semanticsocloperational\_pdfumldenotational
(0)
copydeleteadd this publication to your clipboard
1UML 2.0 Interactions: Semantics and Refinement.
M. Cengarle, and A. Knapp. 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., page 85--99. Technische Universität München, (2004)
16 years ago by @leonardo
show all tags
bibtex-import
refinement
2004
semantics
\_hardcopy
\_pdf
uml
bibtex-importrefinement2004semantics\_hardcopy\_pdfuml
(0)
copydeleteadd this publication to your clipboard
1An Approach to Formalizing the Semantics of UML Statecharts
X. Zhan, and H. Miao. (2004)
16 years ago by @leonardo
show all tags
2004
semantics
statecharts
\_to\_download\_springer
\_no\_doi
uml
2004semanticsstatecharts\_to\_download\_springer\_no\_doiuml
(0)
copydeleteadd this publication to your clipboard
1Formalization of UML state machines using temporal logic
C. Rossi, M. Enciso, and I. de Guzm'an. Software and Systems Modeling, 3 (1): 31--54 (March 2004)
16 years ago by @leonardo
show all tags
2004
semantics
statecharts
uml
temporal_logic
2004semanticsstatechartsumltemporal_logic
(0)
copydeleteadd this publication to your clipboard
1A method for describing the syntax and semantics of UML statecharts
Y. Jin, R. Esser, and J. Janneck. Software and Systems Modeling, V3 (2): 150--163 (May 2004)
16 years ago by @leonardo
show all tags
_hardcopy
2004
semantics
statecharts
_folder_3
uml
_hardcopy2004semanticsstatecharts_folder_3uml
(0)
copydeleteadd this publication to your clipboard
3Formalization of UML statechart models using Concurrent Regular Expressions
S. Jansamak, and A. Surarerks. ACSC '04: Proceedings of the 27th Australasian conference on Computer science, page 83--88. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2004)
16 years ago by @leonardo
show all tags
cre
2004
semantics
statecharts
uml
cre2004semanticsstatechartsuml
(0)
copydeleteadd this publication to your clipboard
2On the semantics of unified modeling language diagrams using Z notation
E. Nantajeewarawat, and R. Sombatsrisomboon. International Journal of Intelligent Systems, 19 (1-2): 79--88 (2004)
16 years ago by @leonardo
show all tags
_to_download_wiley
2004
semantics
nopdf
uml
z
_to_download_wiley2004semanticsnopdfumlz
(0)
copydeleteadd this publication to your clipboard
1A formal semantics of UML sequence diagram
X. Li, Z. Liu, and H. Jifeng. Software Engineering Conference, 2004. Proceedings. 2004 Australian, page 168--177. (2004)
16 years ago by @leonardo
show all tags
2004
semantics
statecharts
uml
2004semanticsstatechartsuml
(0)
copydeleteadd this publication to your clipboard
1Formalizing the semantics of UML statecharts with Z
X. Than, H. Miao, and L. Liu. page 1116--1121. (2004)
16 years ago by @leonardo
show all tags
2004
semantics
statecharts
uml
z
2004semanticsstatechartsumlz
(0)
copydeleteadd this publication to your clipboard
2An Approach to Formalizing the Semantics of UML Statecharts
X. Zhan, and H. Miao. (2004)
16 years ago by @leonardo
show all tags
_to_download_springer
2004
semantics
statecharts
_no_doi
uml
_to_download_springer2004semanticsstatecharts_no_doiuml
(0)
copydeleteadd this publication to your clipboard
5Meaningful Modeling: What's the Semantics of "Semantics"?
D. Harel, and B. Rumpe. Computer, 37 (10): 64--72 (October 2004)
16 years ago by @leonardo
show all tags
_hardcopy
2004
semantics
uml
_hardcopy2004semanticsuml
(0)
copydeleteadd this publication to your clipboard
1The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)
D. Harel, and H. Kugler. (2004)
16 years ago by @leonardo
show all tags
_to_download_springer
2004
semantics
statecharts
_no_doi
uml
_to_download_springer2004semanticsstatecharts_no_doiuml
(0)
copydeleteadd this publication to your clipboard
1Avoiding unpredicted behaviour of large scale embedded systems by design and application of modelling rules
B. Florentz, M. Mutz, and M. Huhn. page 59--66. (2004)
16 years ago by @leonardo
show all tags
_hardcopy
2004
semantics
statecharts
uml
_hardcopy2004semanticsstatechartsuml
(0)
copydeleteadd this publication to your clipboard
2OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
M. Cengarle, and A. Knapp. Software and Systems Modeling, V3 (1): 9--30 (March 2004)
16 years ago by @leonardo
show all tags
2004
semantics
ocl
operational
uml
denotational
2004semanticsocloperationalumldenotational
(0)
copydeleteadd this publication to your clipboard
1UML 2.0 Interactions: Semantics and Refinement.
M. Cengarle, and A. Knapp. 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., page 85--99. Technische Universität München, (2004)
16 years ago by @leonardo
show all tags
_hardcopy
bibtex-import
refinement
2004
semantics
uml
_hardcopybibtex-importrefinement2004semanticsuml
(0)
copydeleteadd this publication to your clipboard
1On formalizing UML state machines using ASMs
E. Börger, A. Cavarra, and E. Riccobene. Information and Software Technology, 46 (5): 287--292 (April 2004)
16 years ago by @leonardo
show all tags
_hardcopy
2004
semantics
statecharts
uml
_hardcopy2004semanticsstatechartsuml
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)17
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1On formalizing UML state machines using ASMs

1OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness

1UML 2.0 Interactions: Semantics and Refinement.

1An Approach to Formalizing the Semantics of UML Statecharts

1Formalization of UML state machines using temporal logic

1A method for describing the syntax and semantics of UML statecharts

3Formalization of UML statechart models using Concurrent Regular Expressions

2On the semantics of unified modeling language diagrams using Z notation

1A formal semantics of UML sequence diagram

1Formalizing the semantics of UML statecharts with Z

2An Approach to Formalizing the Semantics of UML Statecharts

5Meaningful Modeling: What's the Semantics of "Semantics"?

1The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)

1Avoiding unpredicted behaviour of large scale embedded systems by design and application of modelling rules

2OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness

1UML 2.0 Interactions: Semantics and Refinement.

1On formalizing UML state machines using ASMs

browse

related tags

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)17 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)17
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...