Lightweight formal method

Lightweight formal method (1996)

Cached

Download Links

[lml.ls.fi.upm.es]

by Jeannette M. Wing

Venue:	IEEE Computer
Citations:	53 - 7 self

BibTeX

@ARTICLE{Wing96lightweightformal,
    author = {Jeannette M. Wing},
    title = {Lightweight formal method},
    journal = {IEEE Computer},
    year = {1996}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

611	Systematic Software Development Using VDM - Jones - 1990
187	Introducing Z: a Specification Language and its Formal Semantics - Spivey - 1988
178	Specifying concurrent program modules - Lamport - 1983
154	The semantics of Clear, a specification language - Burstall, Goguen - 1979
126	Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends - Pnueli - 1986
114	A simple approach to specifying concurrent systems - Lamport - 1989
87	Software Development: A Rigorous Approach - Jones - 1980
80	On Formalism in Specifications - Meyer - 1985
73	F.W.: An Overview of Anna, A Specification Language for Ada - Luckham, Henke - 1985
68	Writing Larch interface language specifications - Wing - 1987
58	Larch in five easy pieces - Guttag, Horning, et al. - 1985
57	The specification and Application to Programming of Abstract Data Types. Th`ese de Doctorat d'Universit'e - Guttag - 1975
39	Final algebra semantics and data type extensions - Wand - 1979
29	Real-Time Programming and Asynchronous Message Passing - Koymans, Vytopil, et al. - 1983
23	Final data types and their specification - Kamin - 1983
22	Abstract data types as initial algebras and the correctness of data representations - Goguen, Thatcher, et al. - 1975
6	Extensions and Implementations of Abstract Data Type Specifications - Ehrich - 1978
6	Hierarchical Program Specification and Verification - A Many-Sorted Logical Approach - Nakajima, Honda, et al. - 1980
4	Some remarks on putting formal specifications to productive use - Guttag, Horning, et al. - 1982
2	Fundamentals of Algebraic Specification 1, Spr inger-Verlag - ig, Mahr - 1985
2	et al., “Principles of OBJ2 - Futatsugi - 1985
2	Abstract Specifications for Data Types,” IBM Research - Zilles - 1975
1	The Larch Family of Specification - Guttag, Homing, et al. - 1985