Formal methods provide a rigorous, mathematical based framework for specifying, defining, and verifying systems. These methods provide the basis for the precise definition of consistency, completeness, specification, implementation, and correctness.
Case Studies (1)
- This category contains case studies and lessons learned relating to formal methods topics
Education and Training (3)
- Courses, seminars, conferences, training products,
and resources for learning about Formal Methods.
Experts (7)
- Researches, educators and experts in the domain of Formal Methods.
FAQs, Glossary, and Acronyms (1)
- This category contains resources that provide Frequently Asked Questions, Glossaries and or Acronyms relating to Formal Methods topics
Literature (9)
- A collection of electronic and hardcopy articles, white papers, books, conference proceedings, journals, and technical reports on Formal Methods.
Programs and Organizations (3)
- This category contains information about programs, organizations and working groups that are involved with formal methods.
Service Providers/Consultants (1)
- Companies, organizations and individuals that provide services related to Formal Methods.
Standards, Policies, and Procedures (1)
- This category contains information about standards, policies and procedures relating to Formal Methods topics.
Tools (5)
- Software tools, spreadsheets and utilities that support Formal Methods.
Model Driven Architecture(MDA) (9)
- Model-Driven Architecture (MDA) is a framework for model-based development being standardized by the Object Management Group (OMG) that addresses these problems. In MDA, developers and analysts focus on the problem domain and create platform independent models (PIMs). These models can then be leveraged by using a platform specific model (PSM) to transform the business objects, rules, and system constraints into code for a targeted architectural platform.
DACS Gold Practice Initiative
