Sciweavers

570 search results - page 22 / 114
» Using Patterns in the Design of Inter-organizational Systems...
Sort
View
ESEM
2007
ACM
13 years 10 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
INFOVIS
1998
IEEE
14 years 25 days ago
Geographic Visualization: Designing Manipulable Maps for Exploring Temporally Varying Georeferenced Statistics
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
Alan M. MacEachren, Francis P. Boscoe, Daniel Haug...
MODELS
2009
Springer
14 years 3 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
WSC
2007
13 years 11 months ago
An approach to hospital planning and design using discrete event simulation
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
Ian W. Gibson
SAC
2008
ACM
13 years 8 months ago
Workflow management versus case handling: results from a controlled software experiment
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
Bela Mutschler, Barbara Weber, Manfred Reichert