-
1
-
-
0003714504
-
-
Springer-Verlag
-
J.V. Guttag, J.J. Horning, S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing, Larch: Languages and Tools for Formal Specification, Texts and Monographs in Computer Science, Springer-Verlag, 1993.
-
(1993)
Larch: Languages and Tools for Formal Specification, Texts and Monographs in Computer Science
-
-
Guttag, J.V.1
Horning, J.J.2
Garland, S.J.3
Jones, K.D.4
Modet, A.5
Wing, J.M.6
-
2
-
-
0012754763
-
-
E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, eds. Springer-Verlag
-
Algebraic Foundations of System Specification, E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, eds. Springer-Verlag, 1999.
-
(1999)
Algebraic Foundations of System Specification
-
-
-
4
-
-
0003566434
-
-
second ed. Prentice Hall Int'l Series in Computer Science
-
J.M. Spivey, The Z Notation: A Reference Manual, second ed. Prentice Hall Int'l Series in Computer Science, 1992.
-
(1992)
The Z Notation: A Reference Manual
-
-
Spivey, J.M.1
-
5
-
-
0004025792
-
-
Cambridge Univ. Press
-
J.R. Abrial, The B-Book. Cambridge Univ. Press, 1996.
-
(1996)
The B-Book
-
-
Abrial, J.R.1
-
6
-
-
33749627159
-
"UML Superstructure Specification, v2.0"
-
OMG Aug. document formal/05-07-04
-
OMG "UML Superstructure Specification, v2.0," Aug. 2005, document formal/05-07-04.
-
(2005)
-
-
-
7
-
-
0023365727
-
"Statecharts: A Visual Formalism for Complex System"
-
D. Harel, "Statecharts: A Visual Formalism for Complex System," Science of Computer Programming, vol. 8, no. 3, pp. 231-274, 1987.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
8
-
-
0030261971
-
"The STATEMATE Semantics of Statecharts"
-
D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts," ACM Trans. Software Eng. and Methodology, vol. 5, no. 4, pp. 293-333, 1996.
-
(1996)
ACM Trans. Software Eng. and Methodology
, vol.5
, Issue.4
, pp. 293-333
-
-
Harel, D.1
Naamad, A.2
-
9
-
-
84947758978
-
"Formalising UML State Machines for Model Checking"
-
R. France and B. Rumpe, eds
-
J. Lilius and I. Porres, "Formalising UML State Machines for Model Checking," Proc. Int'l Conf. Unified Modelling Language: Beyond the Standard (UML'99), R. France and B. Rumpe, eds., pp. 430-445, 1999.
-
(1999)
Proc. Int'l Conf. Unified Modelling Language: Beyond the Standard (UML'99)
, pp. 430-445
-
-
Lilius, J.1
Porres, I.2
-
10
-
-
0002404838
-
"Towards a Formal Operational Semantics of UML Statechart Diagrams"
-
P. Ciancarini and R. Gorrieri, eds
-
D. Latella, I. Majzik, and M. Massink, "Towards a Formal Operational Semantics of UML Statechart Diagrams," Proc. IFIP TC6/WG6.1 Third Int'l Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), P. Ciancarini and R. Gorrieri, eds., pp. 331-347, 1999.
-
(1999)
Proc. IFIP TC6/WG6.1 Third Int'l Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS'99)
, pp. 331-347
-
-
Latella, D.1
Majzik, I.2
Massink, M.3
-
13
-
-
35248816865
-
"Integration of Formal Datatypes within State Diagrams"
-
M. Pezzè, ed
-
C. Attiogbé, P. Poizat, and G. Salaün, "Integration of Formal Datatypes within State Diagrams," Proc. Sixth Int'l Conf. Fundamental Approaches to Software Eng. (FASE '03), M. Pezzè, ed., pp. 341-355, 2003.
-
(2003)
Proc. Sixth Int'l Conf. Fundamental Approaches to Software Eng. (FASE '03)
, pp. 341-355
-
-
Attiogbé, C.1
Poizat, P.2
Salaün, G.3
-
14
-
-
0007933043
-
"The Korrigan Environment"
-
special issue on tools for system design and verification
-
C. Choppy, P. Poizat, and J.-C. Royer, "The Korrigan Environment," J. Universal Computer Science, vol. 7, no. 1, special issue on tools for system design and verification, pp. 19-36, 2001.
-
(2001)
J. Universal Computer Science
, vol.7
, Issue.1
, pp. 19-36
-
-
Choppy, C.1
Poizat, P.2
Royer, J.-C.3
-
16
-
-
0038153424
-
"Trace-Oriented Models of Concurrency"
-
chapter 2, Elsevier
-
M. Broy and E.-R. Olderog, "Trace-Oriented Models of Concurrency," Handbook of Process Algebra, chapter 2, pp. 101-195, Elsevier, 2001.
-
(2001)
Handbook of Process Algebra
, pp. 101-195
-
-
Broy, M.1
Olderog, E.-R.2
-
17
-
-
0004457204
-
"A Guide to LP, the Larch Prover"
-
technical report
-
S.J. Garland and J.V. Guttag, "A Guide to LP, the Larch Prover," technical report, 1991.
-
(1991)
-
-
Garland, S.J.1
Guttag, J.V.2
-
18
-
-
1542590860
-
"Executing CASL Equational Specifications with the ELAN Rewrite Engine"
-
Nov. coFI note T-9
-
H. Kirchner and C. Ringeissen, "Executing CASL Equational Specifications with the ELAN Rewrite Engine," Nov. 2000, coFI note T-9, http://www.daimi.au.dk/~pdm/Common/Notes/T-9/.
-
(2000)
-
-
Kirchner, H.1
Ringeissen, C.2
-
19
-
-
12344315210
-
"xCLAP: Animation of State Diagrams with Formal Data"
-
master's degree project, Univ. of Nantes
-
A. Auverlot, C. Cailler, M. Coriton, V. Gruet, and M. Noël, "xCLAP: Animation of State Diagrams with Formal Data," master's degree project, Univ. of Nantes, 2003.
-
(2003)
-
-
Auverlot, A.1
Cailler, C.2
Coriton, M.3
Gruet, V.4
Noël, M.5
-
20
-
-
33947389765
-
-
master's degree project, Univ. of Nantes
-
G. Nedéléc, M. Papillon, C. Piedsnoirs, and G. Salaün, CLAP: A Class Library for Automata in Python, master's degree project, Univ. of Nantes, 1999.
-
(1999)
CLAP: A Class Library for Automata in Python
-
-
Nedéléc, G.1
Papillon, M.2
Piedsnoirs, C.3
Salaün, G.4
-
21
-
-
4544225592
-
-
Dept. of Computer Science, North Carolina State Univ
-
R. Cleaveland, T. Li, and S. Sims, The Concurrency Workbench of the New Century (Version 1.2), Dept. of Computer Science, North Carolina State Univ., 2000.
-
(2000)
The Concurrency Workbench of the New Century (Version 1.2)
-
-
Cleaveland, R.1
Li, T.2
Sims, S.3
-
22
-
-
11244252388
-
"An Overview of CADP 2001"
-
also available as INRIA Technical Report RT-0254
-
H. Garavel, F. Lang, and R. Mateescu, "An Overview of CADP 2001," EASST Newsletter, vol. 4, pp. 13-24, 2001, also available as INRIA Technical Report RT-0254.
-
(2001)
EASST Newsletter
, vol.4
, pp. 13-24
-
-
Garavel, H.1
Lang, F.2
Mateescu, R.3
-
23
-
-
33746256409
-
"Bounded Analysis and Decomposition for Behavioural Descriptions of Components"
-
P. Poizat, J.-C. Royer, and G. Salaün, "Bounded Analysis and Decomposition for Behavioural Descriptions of Components," Proc. Int'l Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS '06), pp. 33-47, 2006.
-
(2006)
Proc. Int'l Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS '06)
, pp. 33-47
-
-
Poizat, P.1
Royer, J.-C.2
Salaün, G.3
-
24
-
-
0242339587
-
"A Workbench to Experiment on New Model Engineering Applications"
-
R.-J. Back, D. Björklund, J. Lilius, L. Milovanov, and I. Porres, "A Workbench to Experiment on New Model Engineering Applications," Proc. Unified Modeling Language, Modeling Languages and Applications Conf. (UML '03), pp. 96-100, 2003.
-
(2003)
Proc. Unified Modeling Language, Modeling Languages and Applications Conf. (UML '03)
, pp. 96-100
-
-
Back, R.-J.1
Björklund, D.2
Lilius, J.3
Milovanov, L.4
Porres, I.5
-
25
-
-
0001138255
-
"Orderings for Term-Rewriting Systems"
-
N. Dershowitz, "Orderings for Term-Rewriting Systems," Theoretical Computer Science, vol. 17, no. 3, pp. 279-301, 1982.
-
(1982)
Theoretical Computer Science
, vol.17
, Issue.3
, pp. 279-301
-
-
Dershowitz, N.1
-
28
-
-
84874257101
-
"An Overview of ELAN"
-
C. Kirchner and H. Kirchner, eds
-
P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen, "An Overview of ELAN," Proc. Int'l Workshop Rewriting Logic and Its Applications, C. Kirchner and H. Kirchner, eds., 1998, http://www.elsevier.com/locate/entcs/volume15.html.
-
(1998)
Proc. Int'l Workshop Rewriting Logic and Its Applications
-
-
Borovanský, P.1
Kirchner, C.2
Kirchner, H.3
Moreau, P.-E.4
Ringeissen, C.5
-
29
-
-
84948951307
-
"A Formal Semantics for OCL 1.4"
-
M. Goggolla and C. Kobryn, eds
-
M.V. Cengarle and A. Knap, "A Formal Semantics for OCL 1.4," Proc. Fourth Int'l Conf. Unified Modelling Language (UML '01), M. Goggolla and C. Kobryn, eds., pp. 118-133, 2001.
-
(2001)
Proc. Fourth Int'l Conf. Unified Modelling Language (UML '01)
, pp. 118-133
-
-
Cengarle, M.V.1
Knap, A.2
-
30
-
-
33947390098
-
-
Object Modeling with the OCL, T. Clark and J. Warmer, eds., Lecture Notes in Computer Science, Springer-Verlag
-
Object Modeling with the OCL, The Rationale behind the Object Constraint Language, T. Clark and J. Warmer, eds., Lecture Notes in Computer Science, vol. 2263, Springer-Verlag, 2002.
-
(2002)
The Rationale Behind the Object Constraint Language
, vol.2263
-
-
-
31
-
-
21444440679
-
"A Steam-Boiler Control Specification with Statecharts and Z"
-
J.-R. Abrial, E. Börger, and H. Langmaack, eds
-
R. Büssow and M. Weber, "A Steam-Boiler Control Specification with Statecharts and Z," Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler, J.-R. Abrial, E. Börger, and H. Langmaack, eds., pp. 109-128, 1996.
-
(1996)
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler
, pp. 109-128
-
-
Büssow, R.1
Weber, M.2
-
32
-
-
84943234093
-
"An Overview of RoZ: A Tool for Integrating UML and Z Specifications"
-
B. Wangler and L. Bergman, eds
-
S. Dupuy, Y. Ledru, and M. Chabre-Peccoud, "An Overview of RoZ: A Tool for Integrating UML and Z Specifications," Proc. Advanced Information Systems Eng. Conf. (CAiSE'00), B. Wangler and L. Bergman, eds., pp. 417-430, 2000.
-
(2000)
Proc. Advanced Information Systems Eng. Conf. (CAiSE'00)
, pp. 417-430
-
-
Dupuy, S.1
Ledru, Y.2
Chabre-Peccoud, M.3
-
33
-
-
84944208763
-
"Translating Statecharts to B"
-
M. Butler, L. Petre, and K. Sere, eds
-
E. Sekerinski and R. Zurob, "Translating Statecharts to B," Proc. Third Int'l Conf. Integrated Formal Methods (IFM '02), M. Butler, L. Petre, and K. Sere, eds., pp. 128-144, 2002.
-
(2002)
Proc. Third Int'l Conf. Integrated Formal Methods (IFM '02)
, pp. 128-144
-
-
Sekerinski, E.1
Zurob, R.2
-
34
-
-
33947429348
-
"Structuring Reactive Systems in B AMN"
-
K. Lano, K. Androutsopoulos, and P. Kan, "Structuring Reactive Systems in B AMN," Proc. Third IEEE Int'l Conf. Formal Eng. Methods (ICFEM '00), pp. 25-34, 2000.
-
(2000)
Proc. Third IEEE Int'l Conf. Formal Eng. Methods (ICFEM '00)
, pp. 25-34
-
-
Lano, K.1
Androutsopoulos, K.2
Kan, P.3
-
35
-
-
84944223004
-
"Contributions for Modelling UML State-Charts in B"
-
M. Butler, L. Petre, and K. Sere, eds
-
H. Ledang and J. Souquières, "Contributions for Modelling UML State-Charts in B," Proc. Third Int'l Conf. Integrated Formal Methods (IFM '02), M. Butler, L. Petre, and K. Sere, eds., pp. 109-127, 2002.
-
(2002)
Proc. Third Int'l Conf. Integrated Formal Methods (IFM '02)
, pp. 109-127
-
-
Ledang, H.1
Souquières, J.2
-
36
-
-
84948144638
-
"Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development"
-
D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, eds
-
R. Laleau and F. Polack, "Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development," Proc. Second Int'l Z and B Conf. (ZB '02), D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, eds., pp. 517-534, 2002.
-
(2002)
Proc. Second Int'l Z and B Conf. (ZB '02)
, pp. 517-534
-
-
Laleau, R.1
Polack, F.2
-
37
-
-
84974693467
-
"Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML"
-
T. Rus, ed
-
E. Astesiano, M. Cerioli, and G. Reggio, "Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML," Proc. Eighth Int'l Conf. Algebraic Methodology and Software Technology (AMAST '00), T. Rus, ed., pp. 273-292, 2000.
-
(2000)
Proc. Eighth Int'l Conf. Algebraic Methodology and Software Technology (AMAST '00)
, pp. 273-292
-
-
Astesiano, E.1
Cerioli, M.2
Reggio, G.3
-
38
-
-
84974686985
-
"Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language CASL"
-
T. Rus, ed
-
G. Reggio and L. Repetto, "Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language CASL," Proc. Eighth Int'l Conf. Algebraic Methodology and Software Technology (AMAST '00), T. Rus, ed., pp. 243-257, 2000.
-
(2000)
Proc. Eighth Int'l Conf. Algebraic Methodology and Software Technology (AMAST '00)
, pp. 243-257
-
-
Reggio, G.1
Repetto, L.2
-
40
-
-
84958778942
-
"Formal Verification of UML Statecharts with Real-Time Extensions"
-
R.-D. Kutsche and H. Weber, eds
-
A. David, M.O. Möller, and W. Yi, "Formal Verification of UML Statecharts with Real-Time Extensions," Proc. Int'l Conf. Fundamental Approaches to Software Eng. (FASE '02), R.-D. Kutsche and H. Weber, eds., pp. 218-232, 2002.
-
(2002)
Proc. Int'l Conf. Fundamental Approaches to Software Eng. (FASE '02)
, pp. 218-232
-
-
David, A.1
Möller, M.O.2
Yi, W.3
|