Sciweavers

6650 search results - page 90 / 1330
» models 2009
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Footprinter: Round-trip engineering via scenario and state based models
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...
Ankit Goel, Bikram Sengupta, Abhik Roychoudhury
QUACON
2009
Springer
16 years 28 days ago
Presentation and Evaluation of Inconsistencies in Multiply Represented 3D Building Models
Open architectures demand for a federation of data from different context providers, which nearly always will be inconsistent to a certain degree. We present an approach for the ev...
Michael Peter
ICSE
2009
IEEE-ACM
16 years 7 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
SPIN
2009
Springer
16 years 27 days ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
GI
2009
Springer
15 years 4 months ago
A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
Andreas Hoffmann, Axel Rennoch, Ina Schieferdecker...