16 search results - page 3 / 4 » Supporting Reuse in Event B Development: Modularisation Appr... |
WECWIS
2006
IEEE
15 years 4 months ago
2006
IEEE
UN/CEFACT’s modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. UMM models should be publically available in order to...
DAC
1999
ACM
15 years 2 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
ICSE
1997
IEEE-ACM
15 years 2 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
WSC
1998
14 years 11 months ago
1998
The High Level Architecture (HLA) for distributed simulations was proposed by the Defense Modeling and Simulation Office of the Department of Defense (DOD) in order to support int...
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product development. As this problem worsens...