-
2
-
-
33847590052
-
Making specifications executable-using IPTES Meta-IV
-
Andersen, M., Elmstrøm, R., Lassen, P.B., and Larsen, P.G. 1992. Making specifications executable-using IPTES Meta-IV. In Euromicro '92.
-
(1992)
Euromicro '92.
-
-
Andersen, M.1
Elmstrøm, R.2
Lassen, P.B.3
Larsen, P.G.4
-
3
-
-
0000058143
-
A logic covering undefinedness in program proofs
-
Barringer, H., Cheng, J.H., and Jones, C.B. 1984. A logic covering undefinedness in program proofs. Acta Informatica, 21:251 -269.
-
(1984)
Acta Informatica
, vol.21
, pp. 251-269
-
-
Barringer, H.1
Cheng, J.H.2
Jones, C.B.3
-
4
-
-
0003547470
-
-
Reading, MA: Addison-Wesley
-
Booch, G., Rumbaugh, J., and Reiter, R. 1999. The Unified Modeling Language User Guide. Reading, MA: Addison-Wesley.
-
(1999)
The Unified Modeling Language User Guide
-
-
Booch, G.1
Rumbaugh, J.2
Reiter, R.3
-
5
-
-
0029388051
-
On the frame problem in procedure specifications
-
Borgida, A., Mylopoulos, J., and Reiter, R. 1995. On the frame problem in procedure specifications. IEEE Transactions on Softwae Engineering, 21(10):785-798.
-
(1995)
IEEE Transactions on Softwae Engineering
, vol.21
, Issue.10
, pp. 785-798
-
-
Borgida, A.1
Mylopoulos, J.2
Reiter, R.3
-
6
-
-
0003661126
-
Towards correct executable semantics for Z
-
J.P. Bowen and J.A. Hall, editors, Z Workshops in Computing. Springer-Verlag
-
Breuer, P.T. and Bowen, J.P. 1994. Towards correct executable semantics for Z. In J.P. Bowen and J.A. Hall, editors, Z User Workshop, Cambridge 1994, Workshops in Computing. Springer-Verlag.
-
(1994)
User Workshop, Cambridge 1994
-
-
Breuer, P.T.1
Bowen, J.P.2
-
8
-
-
0022180877
-
Describing Prolog by its interpretation and compilation
-
Cohen, J. 1985. Describing Prolog by its interpretation and compilation. Communications of the ACM, 28(12): 1311-1324.
-
(1985)
Communications of the ACM
, vol.28
, Issue.12
, pp. 1311-1324
-
-
Cohen, J.1
-
9
-
-
0022228813
-
Prolog in 10 figures
-
Colmerauer, A. 1985. Prolog in 10 figures. Communications of the ACM, 28(12):1296-1310.
-
(1985)
Communications of the ACM
, vol.28
, Issue.12
, pp. 1296-1310
-
-
Colmerauer, A.1
-
11
-
-
0029537754
-
Forcing behavioral subtyping through specification inheritance
-
Berlin, Germany, IEEE Computer Society Press
-
Dhara, K.K. and Leavens, G.T. 1996. Forcing behavioral subtyping through specification inheritance. In Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, IEEE Computer Society Press, pp. 258-267.
-
(1996)
Proceedings of the 18th International Conference on Software Engineering
, pp. 258-267
-
-
Dhara, K.K.1
Leavens, G.T.2
-
12
-
-
0343820641
-
-
INRIA-Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France
-
Diaz, D. 1994. clp(FD) 2.21 User's Manual. INRIA-Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France.
-
(1994)
Clp(FD) 2.21 User's Manual
-
-
Diaz, D.1
-
13
-
-
0042018063
-
Computer aided transformation of Z into Prolog
-
J. Nicholls, editor, Workshops in Computing, Berlin: Springer-Verlag
-
Dick, A., Krause, P., and Cozens, J. 1990. Computer aided transformation of Z into Prolog. In J. Nicholls, editor, Z User Workshop, Oxford 1989, Workshops in Computing, Berlin: Springer-Verlag, pp. 71-85.
-
(1990)
Z User Workshop, Oxford 1989
, pp. 71-85
-
-
Dick, A.1
Krause, P.2
Cozens, J.3
-
16
-
-
84976707887
-
The IFAD VDM-SL toolbox: A practical approach to formal specifications
-
Elmstrøm, R., Larsen, P.G., and Lassen, P.B. 1994. The IFAD VDM-SL toolbox: A practical approach to formal specifications. ACM Sigplan Notices, 29(9):77-80.
-
(1994)
ACM Sigplan Notices
, vol.29
, Issue.9
, pp. 77-80
-
-
Elmstrøm, R.1
Larsen, P.G.2
Lassen, P.B.3
-
17
-
-
0027593979
-
An executable subset of VDM-SL, in an SA/RT framework
-
Elmstrøm, R., Lassen, P., and Andersen, M. 1993. An executable subset of VDM-SL, in an SA/RT framework. Real-Time Systems Journal, 5(2/3).
-
(1993)
Real-Time Systems Journal
, vol.5
, Issue.2-3
-
-
Elmstrøm, R.1
Lassen, P.2
Andersen, M.3
-
20
-
-
0026926404
-
Specifications are (preferably) executable
-
Fuchs, N. 1992. Specifications are (preferably) executable. Software Engineering Journal, 7(5):323-334.
-
(1992)
Software Engineering Journal
, vol.7
, Issue.5
, pp. 323-334
-
-
Fuchs, N.1
-
21
-
-
0030109943
-
Executing formal specifications need not be harmful
-
Gravell, A. and Henderson, P. 1996. Executing formal specifications need not be harmful. Software Engineering Journal, 2(11): 104-110.
-
(1996)
Software Engineering Journal
, vol.2
, Issue.11
, pp. 104-110
-
-
Gravell, A.1
Henderson, P.2
-
22
-
-
84952667117
-
Constraint animation using an object-oriented declarative language
-
Clemson, SC
-
Gray, J.G. and Schach, S.R. 2000. Constraint animation using an object-oriented declarative language. In Proceedings of the 38th Annual ACM SE Conference, pp. 1-10, Clemson, SC.
-
(2000)
Proceedings of the 38th Annual ACM SE Conference
, pp. 1-10
-
-
Gray, J.G.1
Schach, S.R.2
-
23
-
-
33646314182
-
-
Ph.D. thesis, Iowa State University, Ames, Iowa, 50011. Expected
-
Gurski, M. 2000. The class validation system. Ph.D. thesis, Iowa State University, Ames, Iowa, 50011. Expected.
-
(2000)
The Class Validation System
-
-
Gurski, M.1
-
25
-
-
0003714504
-
-
New York: Springer-Verlag
-
Guttag, J.V, Horning, J.J., Garland, S.J., Jones, K.D., Model, A., and Wing, J.M. 1993. Larch: Languages and Tools for Formal Specification. New York: Springer-Verlag.
-
(1993)
Larch: Languages and Tools for Formal Specification
-
-
Guttag, J.V.1
Horning, J.J.2
Garland, S.J.3
Jones, K.D.4
Model, A.5
Wing, J.M.6
-
26
-
-
0004099678
-
-
Hayes, I., editor, International Series in Computer Science, 2nd edn. Englewood Cliffs, N.J.: Prentice-Hall
-
Hayes, I., editor, 1993. Specification Case Studies. International Series in Computer Science, 2nd edn. Englewood Cliffs, N.J.: Prentice-Hall.
-
(1993)
Specification Case Studies
-
-
-
27
-
-
0001316705
-
Specifications are not (necessarily) executable
-
Hayes, I.J. and Jones, C.B. 1989. Specifications are not (necessarily) executable. Software Engineering Journal, 4(6):320-338.
-
(1989)
Software Engineering Journal
, vol.4
, Issue.6
, pp. 320-338
-
-
Hayes, I.J.1
Jones, C.B.2
-
28
-
-
33847583517
-
A formal specification-based prototyping system
-
In D. Barnes, and P. Brown, editors, London, UK: Peter Peregrinus Ltd.
-
Hekmatpour, S.and Ince, D.C. 1986. A formal specification-based prototyping system. In D. Barnes, and P. Brown, editors, Software Engineering 86, London, UK: Peter Peregrinus Ltd., pp. 317-335.
-
(1986)
Software Engineering
, vol.86
, pp. 317-335
-
-
Hekmatpour, S.1
Ince, D.C.2
-
29
-
-
0012857012
-
-
Wokingham, England: Addison-Wesley
-
Hekmatpour, S. and Ince, D.C. 1988. Software Prototyping, Formal Methods, and VDM. Wokingham, England: Addison-Wesley.
-
(1988)
Software Prototyping, Formal Methods, and VDM
-
-
Hekmatpour, S.1
Ince, D.C.2
-
30
-
-
0022671553
-
Functional programming, formal specification, and rapid prototyping
-
Henderson, P. 1986. Functional programming, formal specification, and rapid prototyping. IEEE Transactions on Software Engineering, SE-12(2).
-
(1986)
IEEE Transactions on Software Engineering
, vol.12 SE
, Issue.2
-
-
Henderson, P.1
-
33
-
-
0000194670
-
Elements of style: Analyzing a software design feature with a counterexample detector
-
Jackson, D. and Damon, C.A. 1996. Elements of style: Analyzing a software design feature with a counterexample detector. IEEE Transactions on Software Engineering, 22(7):484-495.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.7
, pp. 484-495
-
-
Jackson, D.1
Damon, C.A.2
-
34
-
-
33847605141
-
An introduction to AKL - A multiparadigm programming language
-
Springer Verlag
-
Janson, S. and Haridi, S. 1994. An introduction to AKL - a multiparadigm programming language. In Constraint Programming (NATO-ASI Series vol. 131). Springer Verlag.
-
(1994)
Constraint Programming NATO-ASI Series
, vol.131
-
-
Janson, S.1
Haridi, S.2
-
35
-
-
0004176640
-
-
International Series in Computer Science. 2nd edn. Englewood Cliffs, N.J.: Prentice Hall
-
Jones, C.B. 1990. Systematic Software Development Using VDM. International Series in Computer Science. 2nd edn. Englewood Cliffs, N.J.: Prentice Hall.
-
(1990)
Systematic Software Development Using VDM
-
-
Jones, C.B.1
-
36
-
-
21844526214
-
A typed logic of partial functions reconstructed classically
-
Jones, C.B. and Middelburg, C.A. 1994. A typed logic of partial functions reconstructed classically. Acta Informatica, 31(5):399-430.
-
(1994)
Acta Informatica
, vol.31
, Issue.5
, pp. 399-430
-
-
Jones, C.B.1
Middelburg, C.A.2
-
38
-
-
33847591066
-
The fase3 system for executable data type specification
-
Master's thesis, University of Illinois, Urbana, Illinois.
-
Kraus, T. 1988. The fase3 system for executable data type specification. Master's thesis, University of Illinois, Urbana, Illinois. Technical Report 87-1789.
-
(1988)
Technical Report 87-1789
-
-
Kraus, T.1
-
39
-
-
0342515347
-
An executable subset of meta-IV with loose specification
-
Berlin. VDM Europe, Springer-Verlag
-
Larsen, P.G. and Lassen, P.B. 1991. An executable subset of meta-IV with loose specification. In VDM '91: Formal Software Development Methods, Berlin. VDM Europe, Springer-Verlag.
-
(1991)
VDM '91: Formal Software Development Methods
-
-
Larsen, P.G.1
Lassen, P.B.2
-
40
-
-
0004030849
-
Preliminary design of JML: A behavioral interface specification language for Java
-
Department of Computer Science, Iowa State University, Ames, Iowa 50011.
-
Leavens, G.T., Baker, A.L., and Ruby, C. 2000. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR98-061, Department of Computer Science, Iowa State University, Ames, Iowa 50011. See www.cs.iastate.edu/̃leavens/JML.html.
-
(2000)
Technical Report TR98-061
-
-
Leavens, G.T.1
Baker, A.L.2
Ruby, C.3
-
44
-
-
0042518953
-
Automatic translation of VDM specifications into Standard ML programs
-
O'Neill, G. 1992a. Automatic translation of VDM specifications into Standard ML programs. The Computer Journal, 35(6):623-624.
-
(1992)
The Computer Journal
, vol.35
, Issue.6
, pp. 623-624
-
-
O'Neill, G.1
-
45
-
-
33847579261
-
Automatic translation of VDM specifications into Standard ML programs
-
National Physical Laboratory, Teddington, Middlesex TW11 OLW, United Kingdom
-
O'Neill, G. 1992b. Automatic translation of VDM specifications into Standard ML programs. Technical Report DITC 196/92, National Physical Laboratory, Teddington, Middlesex TW11 OLW, United Kingdom.
-
(1992)
Technical Report DITC
, vol.196
, Issue.92
-
-
O'Neill, G.1
-
47
-
-
0004250524
-
A less elementary tutorial for the PVS specification and verifica-tion system
-
Computer Science Laboratory, SRI International, Menlo Park, CA 94025, USA
-
Rushby, J.M. and Stringer-Calvert, D.W.J. 1996. A less elementary tutorial for the PVS specification and verifica-tion system. Technical Report CSL-95-10, Computer Science Laboratory, SRI International, Menlo Park, CA 94025, USA.
-
(1996)
Technical Report CSL-95-10
-
-
Rushby, J.M.1
Stringer-Calvert, D.W.J.2
-
48
-
-
0004115330
-
-
Advances in Formal Methods Series. Kluwer Academic Publishers. ISBN 0-7923-8684-1
-
Smith, G. 2000. The Object-Z Specification Language. Advances in Formal Methods Series. Kluwer Academic Publishers. ISBN 0-7923-8684-1.
-
(2000)
The Object-Z Specification Language
-
-
Smith, G.1
-
49
-
-
0024303399
-
An introduction to Z and formal specifications
-
Spivey, J.M. 1989. An introduction to Z and formal specifications. Software Engineering Journal, 4(1):40-50.
-
(1989)
Software Engineering Journal
, vol.4
, Issue.1
, pp. 40-50
-
-
Spivey, J.M.1
-
50
-
-
0003566434
-
-
International Series in Computer Science. 2nd edn. New York: Prentice-Hall. ISBN 013983768X
-
Spivey, J.M. 1992. The Z Notation: A Reference Manual. International Series in Computer Science. 2nd edn. New York: Prentice-Hall. ISBN 013983768X.
-
(1992)
The Z Notation: A Reference Manual
-
-
Spivey, J.M.1
-
52
-
-
0024736076
-
Please: Executable specifications for incremental software development
-
Terwilliger, R. and Campbell, R. 1989. Please: Executable specifications for incremental software development. Journal of Systems and Software, 10(2):97-112.
-
(1989)
Journal of Systems and Software
, vol.10
, Issue.2
, pp. 97-112
-
-
Terwilliger, R.1
Campbell, R.2
-
57
-
-
85053196210
-
-
Wahls, T. 2000. SPECS-C++ execution system. Available via the Web or anonymous ftp at: ftp://cs.hbg.psu. edu/pub/wahls/specs-c++.tar.gz.
-
(2000)
SPECS-C++ Execution System
-
-
Wahls, T.1
-
58
-
-
33847585117
-
Formal semantics and soundness of an algorithm for translating model-based specifications to constraint programs
-
Department of Computer Science, Iowa State University, Ames, Iowa 50011.
-
Wahls, T. and Leavens, G.T. 2000. Formal semantics and soundness of an algorithm for translating model-based specifications to constraint programs. Technical Report TROO-02, Department of Computer Science, Iowa State University, Ames, Iowa 50011. Available by anonymous ftp from ftp.cs.iastate.edu and by e-mail from almanac @cs.iastate.edu.
-
(2000)
Technical Report TROO-02
-
-
Wahls, T.1
Leavens, G.T.2
-
59
-
-
33644564315
-
Executing formal specifications with constraint satisfaction
-
Department of Computer Science, Iowa State University, Ames, Iowa 50011.
-
Wahls, T., Leavens, G.T., and Baker, A.L. 1997. Executing formal specifications with constraint satisfaction. Technical Report TR97-12, Department of Computer Science, Iowa State University, Ames, Iowa 50011. Available by anonymous ftp from ftp.cs.iastate.edu and by e-mail from almanac@cs.iastate.edu.
-
(1997)
Technical Report TR97-12
-
-
Wahls, T.1
Leavens, G.T.2
Baker, A.L.3
-
61
-
-
0026884901
-
Software Development: Two approaches to animation of Z specifications using Prolog
-
West, M. and Eaglestone, B. 1992. Software Development: Two approaches to animation of Z specifications using Prolog. Software Engineering Journal, 7(4):264-276.
-
(1992)
Software Engineering Journal
, vol.7
, Issue.4
, pp. 264-276
-
-
West, M.1
Eaglestone, B.2
|