Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Modeling, Volume 5
Volume 5, Number 1, April 2006
- Robert B. France, Bernhard Rumpe
:
Modeling the Complex Living World. 1-2 - Trygve Reenskaug:
Expert' voice: The BabyUML discipline of programming. 3-12 - Peter Scholz:
Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. 13-25 - Friedrich Steimann, Heribert Vollmer:
Exploiting practical limitations of UML diagrams for model validation and execution. 26-47 - Silvia Mara Abrahão, Geert Poels, Oscar Pastor:
A functional size measurement method for object-oriented conceptual schemas: design and evaluation issues. 48-71 - Cesar Gonzalez-Perez, Brian Henderson-Sellers:
A powertype-based metamodelling framework. 72-90 - Ashley T. McNeile, Nicholas Simons:
Protocol modelling: A modelling approach that supports reusable behavioural abstractions. 91-107
Volume 5, Number 2, June 2006
- Robert B. France, Bernhard Rumpe:
Editorial for the SoSyM issue 2006/02. 1 - Kevin Lano, José Luiz Fiadeiro:
Extending UML with coordination contracts. 110-120 - Nicolas Gorse, Luigi Logrippo, Jacques Sincennes:
Detecting feature interaction in CPL. 121-134 - Nicolas Gorse, Luigi Logrippo, Jacques Sincennes:
Formal detection of feature interactions with logic programming and LOTOS. 135 - Holger Giese, Alexander Vilbig:
Separation of non-orthogonal concerns in software architecture and design. 136-169 - Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz:
SoSyM special section on service-based software engineering. 170-171 - Hong Mei, Wei Zhang, Haiyan Zhao:
A metamodel for modeling system features and their refinement, constraint and interaction relationships. 172-186 - Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró:
Style-based modeling and refinement of service-oriented architectures. 187-207 - Bill Karakostas, Yannis Zorgios, Charalampos C. Alevizos:
Automatic derivation of BPEL4WS from IDEF0 process models. 208-218 - Zakaria Maamar, Djamal Benslimane, Michael Mrissa, Chirine Ghedira:
CooPS - Towards a method for coordinating personalized services. 219-229
Volume 5, Number 3, September 2006
- Jean Bézivin, Reiko Heckel:
Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development. 231-232 - Jochen Malte Küster:
Definition and validation of model transformations. 233-259 - Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo:
The design of a language for model transformations. 261-288 - Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini:
Verifying Object-based Graph Grammars. 289-311 - Gergely Varró, Katalin Friedl, Dániel Varró:
Implementing a Graph Transformation Engine in Relational Databases. 313-341
Volume 5, Number 4, December 2006
- Robert B. France, Bernhard Rumpe:
Five years of modeling in SoSyM. 343-347 - Alexander Königs, Andy Schürr:
MDI: A Rule-based Multi-document and Tool Integration Approach. 349-368 - Thomas Kühne:
Matters of (Meta-)Modeling. 369-385 - Wolfgang Hesse:
More matters on (meta-)modelling: remarks on Thomas Kühne's "matters". 387-394 - Thomas Kühne:
Clarifying matters of (meta-) modeling: an author's reply. 395-401 - João M. Fernandes, Johan Lilius, Dragos Truscan:
Integration of DFDs into a UML-based Model-driven Engineering Approach. 403-428 - Manuel Koch, Francesco Parisi-Presicce:
UML specification of access control policies and their formal verification. 429-447 - Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek:
TURTLE-P: a UML profile for the formal validation of critical and distributed systems. 449-466
a service of 
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-04-25 05:27 CEST 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:
