13 search results - page 1 / 3 » Supporting Reuse of Event-B Developments through Generic Ins... |
77
Voted
ICFEM
2009
Springer
15 years 5 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
14 years 10 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...
126
Voted
SAG
2004
Springer
15 years 4 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
14 years 10 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...
85
Voted
ANSOFT
1998
14 years 10 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...