886 search results - page 72 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
FMICS
2007
Springer
15 years 4 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
FMSD
2008
14 years 10 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
TMRA
2005
Springer
15 years 3 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
WSCG
2004
14 years 11 months ago
2004
Pel-recursive motion estimation is a well-established approach. However, in the presence of noise, it becomes an ill-posed problem that requires regularization. In this paper, mot...
113
click to vote
TFM
2009
Springer
15 years 4 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...