-
2
-
-
33745338719
-
Dear sir, yours faithfully: An everyday story of formality
-
Birmingham, UK, February, F. Redmill and T. Anderson, Eds. Springer-Verlag, London
-
AMEY, P. 2004. Dear sir, yours faithfully: an everyday story of formality, In Practical Elements of Safety Proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, February, F. Redmill and T. Anderson, Eds. Springer-Verlag, London, 3-15.
-
(2004)
Practical Elements of Safety Proceedings of the Twelfth Safety-critical Systems Symposium
, pp. 3-15
-
-
Amey, P.1
-
4
-
-
0003962322
-
-
MIT Press, Cambridge, MA
-
CLARKE, E. M., GRUMBERG, O., AND PELED, D. 1999. Model Checking. MIT Press, Cambridge, MA.
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.3
-
5
-
-
33745372056
-
-
ClearSy System Engineering, Aix-en-Provence, F
-
CLEARSY 2003. AtelierB User Manual V3.6. ClearSy System Engineering, Aix-en-Provence, F.
-
(2003)
AtelierB User Manual V3.6
-
-
-
6
-
-
33745429245
-
-
ClearSy System Engineering, Aix-en-Provence, F
-
CLEARSY 2000. AtelierB Training Course Level 2. ClearSy System Engineering, Aix-en-Provence, F.
-
(2000)
AtelierB Training Course Level 2
-
-
-
7
-
-
0029251401
-
Formal methods reality check: Industrial usage
-
CRAIGEN, D., GERHART, S., AND RALSTON, T. 1995. Formal methods reality check: Industrial usage. IEEE Trans. Softw. Eng. 21, 2, 90-98.
-
(1995)
IEEE Trans. Softw. Eng.
, vol.21
, Issue.2
, pp. 90-98
-
-
Craigen, D.1
Gerhart, S.2
Ralston, T.3
-
8
-
-
7744233208
-
Mapping object diagrams into B specifications
-
Leeds, UK, March. Springer-Verlag
-
FACON, P., LALEAU, R., AND NGUYEN, H. P. 1996. Mapping object diagrams into B specifications. In Methods Integration Workshop, Electronic Workshops in Computing (eWiC), Leeds, UK, March. Springer-Verlag.
-
(1996)
Methods Integration Workshop, Electronic Workshops in Computing (EWiC)
-
-
Facon, P.1
Laleau, R.2
Nguyen, H.P.3
-
9
-
-
33745382120
-
-
Research report, CEDRIC Laboratory, Paris, F
-
FACON, P., LALEAU, R., NGUYEN, H. P., AND MAMMAR, A. 1999. Combining UML with the B Formal Method for the Specification of Database Applications. Research report, CEDRIC Laboratory, Paris, F.
-
(1999)
Combining UML with the B Formal Method for the Specification of Database Applications
-
-
Facon, P.1
Laleau, R.2
Nguyen, H.P.3
Mammar, A.4
-
10
-
-
4243061712
-
The mystery of formal methods disuse
-
GLASS, R. 2004. The mystery of formal methods disuse. Comm. ACM 47, 8, 15-17.
-
(2004)
Comm. ACM
, vol.47
, Issue.8
, pp. 15-17
-
-
Glass, R.1
-
11
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
HAREL, D. 1987. Statecharts: A visual formalism for complex systems. Sci. Comput, Prog, 8, 3, 231-274.
-
(1987)
Sci. Comput, Prog
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
12
-
-
26444582642
-
UML to B: Formal verification of object-oriented models
-
Canterbury, UK, April 2004, E. A. Boiten, J. Derrick and G. Smith, Eds. Lecture Notes in Computer Science Vol. 2999, Springer-Verlag, Berlin Heidelberg
-
LANO, K., CLARK, D., AND ANDROUTSOPOULOS, K. 2004. UML to B: Formal Verification of Object-Oriented Models. In Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 2004, E. A. Boiten, J. Derrick and G. Smith, Eds. Lecture Notes in Computer Science Vol. 2999, Springer-Verlag, Berlin Heidelberg, 187-206.
-
(2004)
Integrated Formal Methods, 4th International Conference, IFM 2004
, pp. 187-206
-
-
Lano, K.1
Clark, D.2
Androutsopoulos, K.3
-
13
-
-
33745423370
-
Integrating UML and B specification techniques
-
Vienna, Austria, September. GI Jahrestagung (1) 2001
-
LEDANG, H. AND SOUQUIÈRES, J. 2001. Integrating UML and B specification techniques. In Informatik 2001 Workshop on Integrating Diagrammatic and Formal Specification Techniques. Vienna, Austria, September. GI Jahrestagung (1) 2001, 641-648.
-
(2001)
Informatik 2001 Workshop on Integrating Diagrammatic and Formal Specification Techniques
, pp. 641-648
-
-
Ledang, H.1
Souquières, J.2
-
14
-
-
35248853498
-
ProB: A model-checker for B
-
Pisa, Italy, A. Keijiro, S. Gnesi and M. Dino, Eds. Lecture Notes in Computer Science Vol. 2805, Springer-Verlag, Berlin Heidelberg
-
LEUSCHEL, M. AND BUTLER, M. 2003. ProB: A Model-Checker for B, In Proceedings of Formal Methods Europe, FME 2003, Pisa, Italy, A. Keijiro, S. Gnesi and M. Dino, Eds. Lecture Notes in Computer Science Vol. 2805, Springer-Verlag, Berlin Heidelberg, 855-874.
-
(2003)
Proceedings of Formal Methods Europe, FME 2003
, pp. 855-874
-
-
Leuschel, M.1
Butler, M.2
-
15
-
-
84858900895
-
Methodologies and Technologies for Industrial Strength Systems Engineering (MATISSE)
-
l May 2000 to 28 February 2003
-
MATISSE 2003. Methodologies and Technologies for Industrial Strength Systems Engineering (MATISSE) IST Programme RTD Research Project IST-1999-11435, l May 2000 to 28 February 2003 http://www.matisse.qinetiq.com/
-
(2003)
IST Programme RTD Research Project IST-1999-11435
-
-
-
16
-
-
24644495687
-
-
MERMET, J. (ED.) Kluwer Academic Publishers, Dordrecht, The Netherlands
-
MERMET, J. (ED.) 2004. UML-B Specification for Proven Embedded Systems Design. Kluwer Academic Publishers, Dordrecht, The Netherlands.
-
(2004)
UML-B Specification for Proven Embedded Systems Design
-
-
-
17
-
-
84958058155
-
A systematic approach to transform OMT diagrams to a B specification
-
Toulouse, France, September 1999, J. Wing, J. Woodcock and J. Davies, Eds. Lecture Notes in Computer Science, Vol.1708, Springer-Verlag, Berlin Heidelberg
-
MEYER, E. AND SOUQUIÈRES, J. 1999. A systematic approach to transform OMT diagrams to a B specification. In World Congress on Formal Methods in the Development of Computing Systems, FM'99, Vol. I. Toulouse, France, September 1999, J. Wing, J. Woodcock and J. Davies, Eds. Lecture Notes in Computer Science, Vol.1708, Springer-Verlag, Berlin Heidelberg, 875-895.
-
(1999)
World Congress on Formal Methods in the Development of Computing Systems, FM'99, Vol. I
, vol.1
, pp. 875-895
-
-
Meyer, E.1
Souquières, J.2
-
18
-
-
84958097280
-
A formal software specification tool using the entity-relationship model
-
Manchester, U.K., December, P. Loucopoulos, Ed. Lecture Notes in Computer Science, Springer-Verlag
-
NAGUI-RAISS, N. 1994. A formal software specification tool using the entity-relationship model. In 13th International Conference on the Entity-Relationship Approach. Manchester, U.K., December, P. Loucopoulos, Ed. Lecture Notes in Computer Science, Vol. 881, Springer-Verlag, 315-332.
-
(1994)
13th International Conference on the Entity-relationship Approach
, vol.881
, pp. 315-332
-
-
Nagui-Raiss, N.1
-
19
-
-
0003547470
-
-
Addison-Wesley, Reading, MA
-
RUMBAUGH, J., JACOBSON, I., AND BOOCH, G. 1998. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, MA.
-
(1998)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
20
-
-
84949202192
-
Graphical design of reactive systems
-
Montpellier, France, April 1998, D. Bert, Ed. Lecture Notes in Computer Science, Springer-Verlag
-
nd International B Conference. Montpellier, France, April 1998, D. Bert, Ed. Lecture Notes in Computer Science, Vol.1393, Springer-Verlag, 182-197.
-
(1998)
nd International B Conference
, vol.1393
, pp. 182-197
-
-
Sekerinski, E.1
-
21
-
-
84858889009
-
Object-oriented modelling in B
-
Nantes, France, November, H. Habrias, Ed.
-
st Conference on the B method. Nantes, France, November, H. Habrias, Ed. 133-154.
-
(1996)
st Conference on the B Method
, pp. 133-154
-
-
Shore, R.1
-
22
-
-
33646758136
-
The UML-B profile for formal systems modelling in UML
-
J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands
-
SNOOK, C., OLIVER, I., AND BUTLER, M. 2004. The UML-B profile for formal systems modelling in UML, In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands.
-
(2004)
UML-B Specification for Proven Embedded Systems Design
-
-
Snook, C.1
Oliver, I.2
Butler, M.3
-
23
-
-
33646758136
-
U2B - A tool for translating UML-B models into B
-
J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands
-
SNOOK, C. AND BUTLER, M. 2004. U2B - A tool for translating UML-B models into B, In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands.
-
(2004)
UML-B Specification for Proven Embedded Systems Design
-
-
Snook, C.1
Butler, M.2
-
24
-
-
33644566793
-
A case study in requirement analysis of control systems using UML and B
-
Turku, Finland, June
-
SNOOK, C., TSIOPOULOS, L., AND WALDÉN, M. 2003. A case study in requirement analysis of control systems using UML and B, In Proceedings of RCS'2003 International Workshop on Refinement of Critical Systems: Methods, Tools and Experience. Turku, Finland, June.
-
(2003)
Proceedings of RCS'2003 International Workshop on Refinement of Critical Systems: Methods, Tools and Experience
-
-
Snook, C.1
Tsiopoulos, L.2
Waldén, M.3
-
26
-
-
33745378451
-
Emerging OCL tools
-
TOVAL, A., REQUENA, A., AND ALEMÁN, J. L. 2003. Emerging OCL Tools. Software and System Modeling (SoSyM), 2, 40, 248-261.
-
(2003)
Software and System Modeling (SoSyM)
, vol.2
, Issue.40
, pp. 248-261
-
-
Toval, A.1
Requena, A.2
Alemán, J.L.3
-
28
-
-
23744445685
-
Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language
-
VOROS, N., SNOOK, C., HALLERSTEDE, S., AND MASSELOS, K. 2004. Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language, Design Automation for Embedded Systems 9, 2, 67-99.
-
(2004)
Design Automation for Embedded Systems
, vol.9
, Issue.2
, pp. 67-99
-
-
Voros, N.1
Snook, C.2
Hallerstede, S.3
Masselos, K.4
|