176 search results - page 15 / 36 » Predictor models in software engineering (PROMISE) |
ICST
2008
IEEE
14 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
KBSE
2003
IEEE
14 years 21 days ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
SLE
2009
Springer
14 years 1 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
COMPUTER
2000
13 years 7 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...