|
1713
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
491
|
On Visual Formalisms
– Harel
- 1988
|
|
368
|
Conditional rewriting logic as a unified model of concurrency
– Meseguer
- 1992
|
|
95
|
A formal semantics for object model diagrams
– Bourdeau, Cheng
- 1995
|
|
93
|
Algebraic Semantics of Imperative Programs
– Goguen, Malcolm
- 1996
|
|
55
|
Formal Methods Reality Check: Industrial Usage
– Craigen, Gerhart, et al.
- 1995
|
|
42
|
A logical theory of concurrent objects
– Meseguer
- 1990
|
|
41
|
Foundations of the Unified Modeling Language
– Evans, Clark
- 1997
|
|
39
|
Constraint Diagrams: Visualising Invariants in Object Oriented Models
– Kent
- 1997
|
|
34
|
An Integrated Object-Oriented and Formal Modeling Environment
– France, Bruel, et al.
- 1996
|
|
31
|
State Diagrams in UML: A Formal Semantics Using Graph Transformations
– Gogolla, Parisi-Presicce
- 1998
|
|
16
|
Formalizing and integrating the dynamic model within OMT
– Wang, Richter, et al.
- 1997
|
|
11
|
Software Engineering with OBJ: algebraic specification in action, chapter Introducing OBJ
– Goguen, Malcolm
- 2000
|
|
6
|
A Formal Analysis of the Shlaer-Mellor Method: Towards a toolkit of Formal and
– Wieringa, Saake
- 1996
|
|
4
|
Modular algebraic nets to specify concurrent systems
– Battiston, Battiston, et al.
- 1996
|
|
4
|
An association of algebraic term nets and abstract data types for specifying real communication protocols
– Bettaz
- 1991
|
|
4
|
Fomally Modeling and Executing the UML Class Diagram
– Fernández, Toval
- 2000
|
|
4
|
Thirty one problems in the semantics of uml 1.3 dynamics
– Reggio, Wieringa
- 1999
|
|
3
|
A Formal Syntax and Static Semantics of UML Statecharts
– Fernández, Toval
- 1999
|
|
3
|
An algebraic formalization of the Objectcharts notation
– Grima, Toval
- 1994
|
|
3
|
Combining Formal Specifications with Design by Contract
– Moros, Nicolás, et al.
- 2000
|
|
2
|
Introducing Objectcharts or How to Use Objectcharts in Object-Oriented Desing
– Coleman, Hayes, et al.
- 1992
|
|
2
|
A Formal Approach to Relationships in the Unified Modeling Language
– vergaard
- 1998
|
|
2
|
A tool for verifying formally graphical specifications of objects
– Pons, Giandini, et al.
|
|
2
|
Prototyping Object Oriented Specifications in an Algebraic Environment
– Toval, Ramos, et al.
- 1994
|
|
1
|
Algebraic specification of concurrency", 8 th Workshop on Specification of Abstract Data Types joint with the 3 rd COMPASS Workshop
– Astesiano, Reggio
- 1991
|
|
1
|
Rumpe, Veronika Thurner, "Towards a Formalization of the Unified Modeling Language
– Breu, Hinkel, et al.
- 1997
|
|
1
|
Reasoning with UML class diagrams", WIFT'98, Boca-Raton
– Evans
- 1998
|
|
1
|
Interested in Formalizing the UML Evolution Semantics? Be "Reflective", Workshop "Rigorous Modeling and Analysis
– Fernndez, Toval
|
|
1
|
Fernndez "Formally Modeling UML and its Evolution: a Holistic Approach", Formal Methods for Open Object-Based
– Toval, L
- 2000
|
|
