Marvin V. Zelkowitz  Home/Search
Context Related
| umd.edu/users/mvz/handouts/ainc.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umd.edu/users/mvz/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a brief survey of verious verification methods necessary to show correct functionality of a software product. However, as briefly shown already, verification is only one aspect of the problem. We later address some of these other important aspects in producing good software specifications. More detailed discussion of other formal methods can be found elsewhere (e.g., (Craigen, 1990) (Wing, 1990)). In the rest of this section we will briefly discuss the role of verification... (Update)
Context of citations to this paper: More
.... hand, specifications of Attribute Paper Specification methods [RPG 87] Reusability [Big92] WOZ91] Formal methods and verification [Zel93] HMT90] Das82] Reliability [HMT90] Testing [Reg87] Whi87] Hardware synthesis [Mic93] Mur91] Software [CDS85] Dav95] Table 1:...
Cited by: More
Software Specification: A Comparison of Formal Methods - Gannon, Purtilo, Zelkowitz (2001) (Correct)
Rapid Prototyping of Microelectronic Systems - Dollas, Babcock (1995) (Correct)
Active bibliography (related documents): More All
0.5: Predicting Software System Development Effort Very Early In.. - Bennett, Jr. (1996) (Correct)
0.2: Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) (Correct)
0.2: The Polaris Internal Representation - Faigin (1994) (Correct)
Similar documents based on text: More All
0.3: The Specification-based Validation of Reliable Multicast Protocol - Ot Oc Ol (1996) (Correct)
0.2: Automated Support For Technical Skill Acquisition And Improvement: .. - Moore (1999) (Correct)
0.1: Subjective Software Measurement - Tools For The (Correct)
BibTeX entry: (Update)
M. V. Zelkowitz. Role of Verification in the Software Specification Process. In Advances in Computers, M. C. Yovits (ed.), volume 36, pages 43--109. Academic Press, New York, 1993. http://citeseer.ist.psu.edu/zelkowitz98role.html More
@article{ zelkowitz93role,
author = "Marvin V. Zelkowitz",
title = "Role of Verification in the Software Specification Process",
journal = "Advances in Computers",
volume = "36",
pages = "43-109",
year = "1993",
url = "citeseer.ist.psu.edu/zelkowitz98role.html" }
Citations (may not include all citations):689 Systematic Software Development using VDM - Jones - 1990
441 Software Engineering Economics (context) - Boehm - 1981
275 The Science of Programming (context) - Gries - 1981
245 Semantics of context-free languages (context) - Knuth - 1968
223 Assigning meanings to programs (context) - Floyd - 1967
154 A specification language and its formal semantics (context) - Spivey, Introducing - 1988
76 Towards a mathematical semantics for computer languages (context) - Scott, Strachey - 1971
74 The algebraic specification of abstract data types (context) - Guttag, Horning - 1978
50 On proving inductive properties of abstract data types (context) - Musser - 1980
33 Software safety: Why (context) - Leveson - 1986
23 An introduction to OBJ: a language for writing and testing s.. (context) - Goguen, Tardo - 1985
15 Software Engineering Risk Analysis and Management (context) - Charette - 1989
13 Springer Verlag (context) - for, Systems - 1990
13 Principles of computer programming: A mathematical approach (context) - Mills, Basill et al. - 1987
12 Abstract data type specifications in the affirm system (context) - Musser - 1979
8 Evaluation criteria for functional specifications (context) - Chrdenas, Zelkowitz - 1990
6 A sampler of formal definitions (context) - Marcotty, Ledyard et al. - 1976
5 Annual Review in Automatic Programming (context) - Lucas, Walk et al. - 1969
2 A macro-estimating methodology for software development (context) - Putnam - 1976
1 Analyzing medium scale software development (context) - Basill, Zelkowitz - 1983
1 The role for executable specifications in system main- tenan.. (context) - Zelkowitz, Crdenas - 1991
Documents on the same site (http://www.cs.umd.edu/users/mvz/pubs.html): More
Software Engineering Technology Infusion within NASA - Zelkowitz (1996) (Correct)
Not for attribution or distribution; For review purposes only. - Using The Internet (Correct)
Empirical Findings in Agile Methods - Lindvall, Basili, Boehm, Costa.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC