Sciweavers

2343 search results - page 143 / 469
» MedModel - Healthcare Simulation Software
Sort
View
FOSSACS
2011
Springer
14 years 7 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe...
SCSC
2007
15 years 5 months ago
Virtual prototyping as a mechanism for simulation-based design
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
Roger Dougal, Blake Langland, Antonello Monti
PADL
2004
Springer
15 years 9 months ago
Symbolic Execution of Behavioral Requirements
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S....
DAGSTUHL
2007
15 years 5 months ago
Empirical Studies in End-User Software Engineering and Viewing Scientific Programmers as End-Users - Position Statement -
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
Jeffrey Carver
IJSI
2008
170views more  IJSI 2008»
15 years 4 months ago
Applying Value-Based Software Process: An ERP Example
Abstract Commercial organizations increasingly need software processes sensitive to business value, quick to apply, supportive of multi-stakeholder collaboration, and capable of ea...
LiGuo Huang, Barry W. Boehm, Hao Hu, Jian Lü,...