Search Sciweavers | Sciweavers

1856 search results - page 5 / 372

» Formal Dialectic Specification

148

click to vote

CIBSE
2009
ACM

163views Software Engineering» more CIBSE 2009»

A two-level formal semantics for the QVT language

16 years 10 days ago

Download www.lifia.info.unlp.edu.ar

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...

claim paper

Read More »

219

click to vote

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

16 years 12 days ago

Download fmv.jku.at

Robert Könighofer, Georg Hofferek, Roderick B...

claim paper

Read More »

128

click to vote

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

15 years 10 months ago

Download www.cs.virginia.edu

John C. Knight, Susan S. Brilliant

claim paper

Read More »

161

click to vote

FMICS
2010
Springer

157views Formal Methods» more FMICS 2010»

Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study

15 years 7 months ago

Download www.brucker.ch

Michael Altenhofen, Achim D. Brucker

claim paper

Read More »

154

click to vote

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers