13 search results - page 1 / 3 » Supporting Reuse of Event-B Developments through Generic Ins... |
ICFEM
2009
Springer
13 years 11 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
ENTCS
2007
13 years 4 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
SAG
2004
Springer
13 years 10 months ago
2004
Springer
Grid workflows can be seen as special scientific workflows involving high performance and/or high throughput computational tasks. Much work in grid workflows has focused on improvi...
JISE
2006
13 years 4 months ago
2006
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
ANSOFT
1998
13 years 4 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...