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
Rate this page's content:
  poor
excellent

Top : Formal Methods : FAQs, Glossary, and Acronyms

This category contains resources that provide Frequently Asked Questions, Glossaries and or Acronyms relating to Formal Methods topics
  • Formal Methods Europe FAQ: Formal Methods - FME is a European organization, supported by the Commission of the European Union, with the mission of promoting and supporting the industrial use of formal methods for computer systems development. This page, maintained by FME, responds to Frequently Asked Questions (FAQ) regarding Larch, Petri Nets, the Vienna Development Method (VDM) and Z notation for formal specification.

Suggest Supporting Web Sites
Related pages:
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
Semantic Web
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
Capture artifacts in rigorous, model-based notation
Commercial Specifications and Standards/Open Systems
Defect Tracking Against Quality Targets
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
Capture artifacts in rigorous, model-based notation
Commercial Specifications and Standards/Open Systems
Defect Tracking Against Quality Targets
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 © 2010, 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