Email:
Password: [?] 
  Register with the DACS
Site Search: Advanced Search
Search: Bibliographic Database(SEBD)      Lifecycle Database(SLED)     DoD Acronyms 
DACS Home DACS Services Publications Training About Us DACS Store Suggest A Link
software tech news
Rate this page's content:
  poor
excellent

An Analysis of two Formal Methods:

VDM and Z

Contract Number F30602-89-C-0082
(Data & Analysis Center for Software)


August 13, 1997


PREPARED FOR:
Rome Laboratory
RL/C3C
Griffiss Business Park
Rome, NY 13441

PREPARED BY:
Author: Thomas McGibbon
Data & Analysis Center for Software
775 Daedalian Drive
Rome, NY 13441-4909
tmcgibbo@dacs.dtic.mil



Acknowledgments
The author would like to gratefully acknowledge comments on an earlier draft by Mr. Robert Vienneau.
sidebar
sidebar
sidebar

s

roi dashboard

s

consulting services

s

Acronyms, Dictionaries, Glossaries & Other Library Resources
Agile Development
Cleanroom Software Engineering
Client/Server Architectures
Collaborative Software Engineering
Computer Aided Software Engineering (CASE)
Computer Security
Configuration Management
Cost Estimation
CWE/SANS Top 25 Most Dangerous Programming Errors
Data Mining, Data Warehousing and Knowledge Discovery
Distributed Object Technology (DOT)
Earned Value
Education and Training
Experts
Formal Methods
Gold Practices
Grid Computing
High Performance Computing (HPC)
Inspections
Intranets
Knowledge Management
Measurement
Object-Oriented (OO) Technologies
Open Source
Open Technology
Plans, Policies and Standards
Programming Languages
Project Management
Rapid Prototyping and Application Development
Requirements Engineering
Reuse of Software Assets
Risk Management
SDTATIC
Software Assurance
Software Acquisition
Software Architecture
Software Best Practices
Software Maintenance
Software Process Improvement (SPI)
Software Quality
Software Reliability
Software Security
Software Testing
SWEBOK
Technology
Web Services
XML

s

Gold Practices Homepage
Acquisition Process Improvement
Architecture-First Approach
Assess Reuse Risks and Costs
Binary Quality Gates at the Inch-Pebble Level
Commercial Specifications and Standards/Open Systems
Develop and Maintain a Life-cycle Business Case
Ensure Interoperability
Formal Inspections
Formal Risk Management
Goal-Question-Metric Approach
Integrated Product and Process Development
Manage Requirements
Metrics-based Scheduling
Model Based Testing
Plan for Technology Insertion
Requirements Trade-Off/Negotiation
Statistical Process Control
Track Earned Value

s


View our latest issue on


Register to receive this free journal!


SISOS cover
DACS Latest Technical Report


TEMS Logo
Visit the DTIC TEMS Initiative
   DACS Gold Practice Initiative ROI Dashboard
 
Acquisition Process Improvement
Architecture-First Approach
Assess Reuse Risks and Costs
Binary Quality Gates at the Inch-Pebble Level
Commercial Specifications and Standards/Open Systems
Develop and Maintain a Life-cycle Business Case
Ensure Interoperability
Formal Inspections
Formal Risk Management
Goal-Question-Metric Approach
Integrated Product and Process Development
Manage Requirements
Metrics-based Scheduling
Model Based Testing
Plan for Technology Insertion
Requirements Trade-Off/Negotiation
Statistical Process Control
Track Earned Value
  Access benefit data from software technical and management improvements including SEI CMMI, PSP/TSP, Cleanroom, Inspections, and Agile Development.

View the ROI Dashboard
Copyright © 2009, ITT Corporation    Privacy Policy
webmaster@thedacs.com
775 Daedalian Drive Rome, NY 13441
(800) 214-7921 Fax: 315-838-7130
This site is best viewed in Firefox 1.0+ or IE 6.0+
XHTML