3799 search results - page 61 / 760 » An Engineering Approach to Formal Methods |
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
FM
1997
Springer
13 years 12 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
CAISE
2010
Springer
13 years 9 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
SIGADA
1999
Springer
14 years 1 days ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
WCRE
2009
IEEE
14 years 2 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...