2403 search results - page 120 / 481 » Using the WinWin Spiral Model: A Case Study |
136
click to vote
WSC
2007
15 years 8 months ago
2007
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
154
click to vote
WSC
2008
15 years 8 months ago
2008
Creation of an Outpatient Procedure Center (OPC) is a complicated endeavor, requiring a detailed understanding of the resources available and the procedures to be performed. Misca...
190
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
186
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
218
click to vote
WSC
2007
15 years 8 months ago
2007
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...