default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Modeling, Volume 3
Volume 3, Number 1, March 2004
- Robert B. France, Bernhard Rumpe:
In search of effective design abstractions. 1-3 - Cris Kobryn:
UML 3.0 and the future of modeling. 4-8 - María Victoria Cengarle, Alexander Knapp:
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. 9-30 - Carlos Rossi, Manuel Enciso
, Inmaculada Perez de Guzmán:
Formalization of UML state machines using temporal logic. 31-54 - Jean Flower, John Howse, John Taylor:
Nesting in Euler Diagrams: syntax, semantics and construction. 55-67 - Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis:
The OsMoSys approach to multi-formalism modeling of systems. 68-81
Volume 3, Number 2, May 2004
- Paolo Bottoni, Mark Minas:
Introductory paper. 83-84 - Dániel Varró:
Automated formal verification of visual modeling languages by model checking. 85-113 - Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A component framework for system modeling based on high-level replacement systems. 114-135 - Nik Swoboda, Gerard Allwein:
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. 136-149 - Yan Jin, Robert Esser, Jörn W. Janneck:
A method for describing the syntax and semantics of UML statecharts. 150-163 - Claudia Ermel, Roswitha Bardohl:
Scenario animation for visual behavior models: A generic approach. 164-177
Volume 3, Number 3, August 2004
- Robert B. France, Bernhard Rumpe:
Assessing model quality. 179-180 - Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. 181-193 - Juan de Lara, Hans Vangheluwe, Manuel Alfonseca:
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. 194-209 - Ivar Jacobson:
Use cases - Yesterday, today, and tomorrow. 210-220 - Christian Prehofer:
Plug-and-play composition of features and feature interactions with statechart diagrams. 221-234 - Paul Grünbacher, Alexander Egyed, Nenad Medvidovic:
Reconciling software requirements and architectures with intermediate models. 235-253
Volume 3, Number 4, December 2004
- Robert B. France, Bernhard Rumpe:
SoSyM at three. 255-257 - Yingxu Wang, Shushma Patel:
Guest editorial: On Modeling Object-Oriented Information Systems. 258-261 - Jing Dong, Paulo S. C. Alencar, Donald D. Cowan:
A behavioral analysis and verification approach to pattern-based design composition. 262-272 - George Spanoudakis, Hyoseob Kim:
Supporting the reconciliation of models of object behaviour. 273-293 - Christine W. Chan:
Knowledge and software modeling using UML. 294-302 - Daniela Nicklas, Bernhard Mitschang:
On building location aware applications using an open platform based on the NEXUS Augmented World Model. 303-313 - Alan W. Brown:
Model driven architecture: Principles and practice. 314-327
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
