Search Sciweavers | Sciweavers

1856 search results - page 5 / 372

» Formal Dialectic Specification

click to vote

CIBSE
2009
ACM

163views Software Engineering» more CIBSE 2009»

A two-level formal semantics for the QVT language

14 years 23 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 »

click to vote

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

14 years 24 days ago

Download fmv.jku.at

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

claim paper

Read More »

click to vote

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

13 years 10 months ago

Download www.cs.virginia.edu

John C. Knight, Susan S. Brilliant

claim paper

Read More »

click to vote

FMICS
2010
Springer

157views Formal Methods» more FMICS 2010»

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

13 years 7 months ago

Download www.brucker.ch

Michael Altenhofen, Achim D. Brucker

claim paper

Read More »

click to vote

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers