Result 1 to 20 of 112 total
A problem frame-based approach to evolvability: The case of the multi-translation. (English)
Calinescu, Radu (ed.) et al., Foundations of computer software. Modeling, development, and verification of adaptive systems. 16th Monterey workshop 2010, Redmond, WA, USA, March 31 ‒ April 2, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21291-8/pbk). Lecture Notes in Computer Science 6662, 157-175 (2011).
1
Comparing the maintainability of two alternative architectures of a postal system: SOA vs. Non-SOA (English)
CSMR, 317-320 (2011).
2
Revising the UML collaborations: A well-founded approach. (English)
Choppy, Christine (ed.) et al., Foundations of computer software. Future trends and techniques for development. 15th Monterey workshop 2008, Budapest, Hungary, September 24‒26, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12565-2/pbk). Lecture Notes in Computer Science 6028, 1-23 (2010).
3
On the effectiveness of screen mockups in requirements engineering: results from an internal replication (English)
ESEM (2010).
4
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study (English)
ESEM (2010).
5
A problem frame-based approach to evolvability: the case of the multi-translation (English)
Monterey Workshop, 157-175 (2010).
6
Modeling business within a UML-based rigorous software development approach. (English)
Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 261-277 (2008).
7
Modeling business within a UML-based rigorous software development approach (English)
Concurrency, Graphs and Models, 261-277 (2008).
8
Revising the UML collaborations: A well-founded approach (English)
Monterey Workshop, 1-23 (2008).
9
Tutorials at models 2006 (English)
MoDELS, 791-794 (2006).
10
From conditional specifications to interaction charts. A journey from formal to visual means to model behaviour. (English)
Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 167-189 (2005).
11
From conditional specifications to interaction charts (English)
Formal Methods in Software and Systems Modeling, 167-189 (2005).
12
Scientific engineering of distributed Java applications. Third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27‒28, 2003. Revised papers. (English)
Lecture Notes in Computer Science 2952. Berlin: Springer (ISBN 3-540-21091-1/pbk). x, 157~p. EUR~38.00/net; sFr~69.50; \sterling~29.00; \$~47.00 (2004).
13
An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint. (English)
Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24‒27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 56-81 (2003).
14
From formal techniques to well-founded software development methods. (English)
Aichernig, Bernhard K. (ed.) et al., Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18‒20, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20527-6/pbk). Lect. Notes Comput. Sci. 2757, 132-150 (2003).
15
Scientific engineering for distributed Java applications. International workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28‒29, 2002. Revised papers. (English)
Lecture Notes in Computer Science. 2604. Berlin: Springer. x, 204 p. EUR 38.00/net; \$ 45.00; \sterling 26.50; sFr 65.50 (2003).
16
Towards a well-founded UML-based development method (English)
SEFM, 102- (2003).
17
From requirement specification to prototype execution: a combination of multiview use-case driven methods and agent-oriented techniques (English)
SEKE, 578-585 (2003).
18
CASL: the Common Algebraic Specification Language. (English)
Theor. Comput. Sci. 286, No. 2, 153-196 (2002).
19
An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint (English)
WADT, 56-81 (2002).
20
Result 1 to 20 of 112 total
Start
Contact
Print
General Help
