Sciweavers

1856 search results - page 5 / 372
» Formal Dialectic Specification
Sort
View
CIBSE
2009
ACM
15 years 10 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
178
Voted
FMCAD
2009
Springer
15 years 10 months ago
Debugging formal specifications using simple counterstrategies
Robert Könighofer, Georg Hofferek, Roderick B...
106
Voted
ZUM
1997
Springer
104views Formal Methods» more  ZUM 1997»
15 years 7 months ago
Preliminary Evaluation of a Formal Approach to User Interface Specification
John C. Knight, Susan S. Brilliant
135
Voted
FMICS
2010
Springer
15 years 4 months ago
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study
Michael Altenhofen, Achim D. Brucker