Searching for authors named "Martin Wirsing" – sorted by Relevance.
51 documents found, showing 1 through 10.
Next 10 →
-
View Consistency in Software Development ⋆
- …View Consistency in Software Development ⋆ Martin Wirsing and Alexander Knapp Ludwig…
- Add To MetaCart
-
A Rewriting Logic Framework for Soft Constraints
- …WRLA 2006 A Rewriting Logic Framework for Soft Constraints Martin Wirsing 1,2 Ludwig…
- Cited by 5 (3 self) – Add To MetaCart
-
Software Engineering for Adaptive Hypermedia Applications?
- … GmbH Arabellastr. 17, D-81925 München, Germany koch@(email omitted); Nora Koch 1,2 , Martin Wirsing 2 2…
- Cited by 22 (5 self) – Add To MetaCart
-
Proof Systems for Structured Algebraic Specifications: An Overview
- …1 Proof Systems for Structured Algebraic Specifications: An Overview Rolf Hennicker, Martin…
- Cited by 2 (0 self) – Add To MetaCart
-
Making Components Move: A Separation of Concerns Approach
- …Making Components Move: A Separation of Concerns Approach ? Dirk Pattinson, Martin Wirsing…
- Cited by 3 (2 self) – Add To MetaCart
-
Algebraic Specification Languages
- …8 Specification Languages Donald Sannella 1 and Martin Wirsing 2 1 Laboratory for Foundations…
- Cited by 1 (0 self) – Add To MetaCart
-
Applying Test-First Programming and Iterative Development in Building an E-Business Application
- … and Martin Wirsing I. Introduction IN particular in the domain of e-commerce, having robust software systems…
- Cited by 1 (1 self) – Add To MetaCart
-
Algebraic state machines
- …Algebraic State Machines Manfred Broy 1 , Martin Wirsing 2 1 Institut für Informatik, Technische…
- Cited by 8 (1 self) – Add To MetaCart
-
A Formal Framework for “Living” Cooperative Information Systems
- …A Formal Framework for “Living” Cooperative Information Systems Shiping Yang, Martin Wirsing…
- Add To MetaCart
-
Specification Languages
- …8 Specification Languages Donald Sannella 1 and Martin Wirsing 2 1 Laboratory for Foundations…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
