Auflistung nach Autor "Moreira, Ana M. D."
Anzeige der Dokumente 1-20 von 22
-
Agile modeling: A brief overview
Ambler, Scott W.
7-11 -
Approaching a discrete-continuous UML: Tool support and formalization
Stauner, Thomas; Pretschner, Alexander; Péter, István
242-257 -
An axiomatic formalization of UML models
Aoki, Toshiaki; Tateishi, Takaaki; Katayama, Takuya
13-28 -
Calculating with concepts: a technique for the development of business process support
Dijkman, Remco M.; Ferreira Pires, Luís; Joosten, Stef M.M.
87-98 -
Catalytic modeling: UML meets XP
Cameron Wills, Alan
288-306 -
Conformance testing from UML specifications experience report1
Bousquet, Lydie du; Martin, Hugues; Jézéquel, Jean-Marc
43-55 -
Designing procedural 4GL applications through UML modeling
Davidson, Shiri; Keren, Mila; Porat, Sara; Zodik, Gabi
69-85 -
A formal mapping between UML static models and algebraic specifications
Favre, Liliana M.
113-127 -
Formal redesign of UML class diagrams
Kosiuczenko, Piotr
174-190 -
Formal verification of UML diagrams: A first step towards code generation
Smith, Jeffrey E.; Kokar, Mieczyslaw K.; Baclawski, Kenneth
224-240 -
Identifying semantic dimensions of (UML) sequence diagrams
Hausmann, Jan Hendrik; Küster, Jochen Malte; Sauer, Stefan
142-157 -
Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets
Dong, Zhijiang; He, Xudong
99-112 -
Modeling the user interface of web applications with UML
Hennicker, Rolf; Koch, Nora
158-172 -
Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001
Evans, Andy; France, Robert B.; Moreira, Ana M. D.; Rumpe, Bernhard
-
A proposal for a lightweight rigorous UML-based development method for reliable systems
Paige, Richard; Ostroff, Jonathan
192-206 -
RIGR - A repository model based approach to management
Trask, Ray; France, Robert B.
258-269 -
Tool-support for model-driven software engineering
Boger, Marko; Sturm, Thorsten
307-318 -
Toward a test-ready meta-model for use cases
Williams, Clay E.
270-287 -
Towards Efficient Code Synthesis from Statecharts
Björklund, Dag; Lilius, Johan; Porres, Ivan
29-41 -
A UML-integrated test description language for component testing
Pickin, Simon; Jard, Claude; Heuillard, Thierry; Jézéquel, Jean-Marc; Desfray, Philippe
208-223