|
3
|
An Animation System for Validating Object-Oriented Conceptual Models
– Antonio Grau
- 1997
|
|
11
|
Specifying Communication in Distributed Information Systems
– Hans-dieter Ehrich, Carlos Caleiro
- 1998
|
|
6
|
Towards a module concept for object oriented specification languages
– Silke Eckstein
- 1998
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
|
Analysing Object Specifications for Execution
– Antonio Grau
- 1998
|
|
5
|
Semantic Refinement Of Concurrent Object Systems Based On Serializability
– G. Denker
- 1996
|
|
18
|
Object Specification
– Hans-dieter Ehrich
- 1997
|
|
5
|
A Linear Temporal Logic Approach to Objects with Transactions
– Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
- 1997
|
|
|
A Categorical Hiding Mechanism for Concurrent Object Systems
– Juliana Küster Filipe
- 1997
|
|
3
|
Specifying Cooperation Environment Requirements using Formal and Graphical Techniques
– Marisol Sánchez-alonso, Juan M. Murillo
- 2000
|
|
2
|
Formal Object Oriented Specification Language Troll in Information System Design
– M. Kowsari
- 1996
|
|
26
|
Logics for Specifying Concurrent Information Systems
– Hans-Dieter Ehrich, et al.
- 1998
|
|
9
|
Information Systems Modelling with Troll: Formal Methods at Work
– Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-dieter Ehrich
- 1997
|
|
7
|
Reification - Changing Viewpoint but Preserving Truth
– G. Denker
|
|
7
|
Specifications Are Necessarily Informal or: Some More Myths of Formal Methods
– Baudouin Le Charlier, Pierre Flener
- 1998
|
|
2
|
COLOR-X: Object Modeling profits from Linguistics
– J. F. M. Burg, R.P. van de Riet
- 1995
|
|
1
|
COLOR-X: Linguistically-based Event Modeling: A General Approach to Dynamic Modeling
– J. F. M. Burg, R.P. van de Riet
- 1995
|
|
35
|
Processing Natural Language Requirements
– Vincenzo Ambriola, Vincenzo Gervasi
- 1997
|
|
47
|
Guiding The Construction Of Textual Use Case Specifications
– Colette Rolland, Camille Ben Achour
- 1998
|
