40 years of formal methods. Some obstacles and some possibilities? (Q5498750)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: 40 years of formal methods. Some obstacles and some possibilities? |
scientific article; zbMATH DE number 6400662
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | 40 years of formal methods. Some obstacles and some possibilities? |
scientific article; zbMATH DE number 6400662 |
Statements
40 Years of Formal Methods (English)
0 references
10 February 2015
0 references
formal specification
0 references
domain modelling
0 references
domain description
0 references
requirements prescription
0 references
software engineering education
0 references
professionalism
0 references
Ada compiler
0 references
0.7749144434928894
0 references
0.7699264883995056
0 references
0.7444694638252258
0 references
0.7350420951843262
0 references
