default search action
Software and Systems Modeling, Volume 4
Volume 4, Number 1, February 2005
- Robert B. France, Bernhard Rumpe
:
Domain specific modeling. 1-3 - Brian Henderson-Sellers:
UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts. 4-13 - Cindy Eisner:
Formal verification of software source code through semi-automatic modeling. 14-31 - Wolfgang Ahrendt
The KeY tool. 32-54 - Ilka Philippow, Detlef Streitferdt
An approach for reverse engineering of design patterns. 55-70 - Jon Whittle, Richard Kwan, Jyoti Saboo:
From scenarios to code: An air traffic control case study. 71-93 - João M. Fernandes
A reference framework for process-oriented software development organizations. 94-105
Volume 4, Number 2, May 2005
- Robert B. France, Bernhard Rumpe
Model aesthetics. 107-108 - Andy Schürr, Heiko Dörr:
Introductory paper. 109-111 - Laurence Tratt
Model transformations and tool integration. 112-122 - Simon M. Becker, Thomas Haase, Bernhard Westfechtel:
Model-based a-posteriori integration of engineering tools for incremental development processes. 123-140 - Tiziana Margaria
Web services-based tool-integration in the ETI platform. 141-156 - Gabor Karsai, Andras Lang, Sandeep Neema
Design patterns for open tool integration. 157-170 - Jean Bézivin:
On the unification power of models. 171-188 - Jon G. Hall
Problem frame semantics for software development. 189-198 - Ricardo Choren, Carlos José Pereira de Lucena:
Modeling Multi-agent systems with ANote. 199-208 - Conrad Bock, Michael Gruninger:
PSL: A semantic domain for flow models. 209-231
Volume 4, Number 3, July 2005
- Robert B. France, Bernhard Rumpe
Modeling Paradigms. 233 - Tommaso Bolognesi, John Derrick
Introduction. 234-235 - Benoît Fraikin, Marc Frappier, Régine Laleau:
State-based versus event-based specifications for information systems: a comparison of B and eb3. 236-257 - Neil Evans, Helen Treharne
Investigating a file transfer protocol using CSP and B. 258-276 - Ana Cavalcanti
Unifying classes and processes. 277-296 - Frank Devos, Eric Steegmans:
Specifying business rules in object-oriented analysis. 297-309 - John Howse
Precise visual modeling: A case-study. 310-325 - Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander:
Testing Web applications by modeling with FSMs. 326-345 - Marcin Sikorski:
Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications. 346-347
Volume 4, Number 4, November 2005
- Perdita Stevens, Jon Whittle:
Guest editorial to the special issue on UML2003. 353-354 - Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen:
STAIRS towards formal design with sequence diagrams. 355-367 - Ivan Porres
Rule-based update transformations and their application to model refactorings. 368-385 - Martin Gogolla, Jörn Bohling, Mark Richters:
Validating UML and OCL models in USE by automatic snapshot generation. 386-398 - Lionel C. Briand, Yvan Labiche
Automated support for deriving test requirements from UML statecharts. 399-423 - Pierre-Alain Muller, Philippe Studer, Frédéric Fondement, Jean Bézivin:
Platform independent Web application modeling and development with Netsilon. 424-442 - Stefan Haustein, Jörg Pleumann:
A model-driven runtime environment for Web applications. 443-458
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 2025-03-10 20:48 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: