Result 41 to 60 of 94 total
Mapping procedural patterns to object-oriented design patterns (English)
Autom. Softw. Eng. 6, No. 3, 265-289 (1999).
41
Reactive system refinement of distributed systems in B (English)
IFM, 415-434 (1999).
42
Rigorous development in UML (English)
FASE, 129-144 (1999).
43
Models involving multiple instances of a component (English)
LMO, 245-260 (1999).
44
Formalising the UML in structured temporal theories. (English)
Kilov, Haim (ed.) et al., ECOOP ’98. 2nd ECOOP workshop on precise behavioral semantics (with an emphasis on o-o business specifications). Held in conjunction with ECOOP ’98, 12th European conference on object-oriented programming, Brussels, Belgium, July 24, 1998. München: TUM, Technische Univ. München, Institut für Informatik, TUM, Inst. Inf. 9813, 105-121 (1998).
45
Logical specification of reactive and real-time systems. (English)
J. Log. Comput. 8, No.5, 679-711 (1998).
46
The UML as a formal modeling notation (English)
Computer Standards & Interfaces 19, No. 7, 325-334 (1998).
47
The UML as a formal modeling notation (English)
UML, 336-348 (1998).
48
Semantics and transformations for UML models (English)
UML, 107-119 (1998).
49
Systematising reactive system design (English)
AMAST, 17-22 (1998).
50
Linking hazard analysis to formal specification and design in B (English)
SAFECOMP, 60-74 (1998).
51
Compositional specification of controllers for batch process operations (English)
ZUM, 250-264 (1998).
52
io-port 50206409 Bicarregui, Juan;
Clutterbuck, D. L.;
Finnie, Gavin R.;
Haughton, Howard P.;
Lano, Kevin;
Lesan, H.;
Marsh, D. W. R. M.;
Matthews, B. M.;
Moulding, Michael R.;
Newton, A. Richard;
Ritchie, Brian;
Rushton, T. G. A.;
Scharbach, P. N.
Formal methods into practice: case studies in the application of the B method (English)
IEE Proceedings - Software 144, No. 2, 119-133 (1997).
53
Formalizing real-time system design (English)
ECOOP Workshops, 436-445 (1997).
54
Formalizing object-oriented models in the object calculus (English)
ECOOP Workshops, 155-160 (1997).
55
Towards a compositional interpretation of object diagrams (English)
Algorithmic Languages and Calculi, 187-211 (1997).
56
Integrating VDM++ and real-time system design (English)
ZUM, 188-219 (1997).
57
Specifying reactive systems in B AMN (English)
ZUM, 242-274 (1997).
58
Specification of required non-determinism (English)
FME, 298-317 (1997).
59
Design of reactive control systems for event-drivem operations (English)
FME, 142-161 (1997).
60
Result 41 to 60 of 94 total
Start
Contact
Print
General Help
