Sciweavers

2118 search results - page 260 / 424
» Execution of A Requirement Model in Software Development
Sort
View
EPEW
2005
Springer
15 years 10 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
126
Voted
ER
2006
Springer
98views Database» more  ER 2006»
15 years 8 months ago
Domain Analysis for Supporting Commercial Off-the-Shelf Components Selection
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...
Claudia P. Ayala, Xavier Franch
149
Voted
BALT
2010
14 years 11 months ago
Bringing Domain Knowledge to Pattern Matching
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
Agris Sostaks
PEPM
2010
ACM
16 years 1 months ago
PET: a partial evaluation-based test case generation tool for Java bytecode
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
Elvira Albert, Miguel Gómez-Zamalloa, Germ&...
EMSOFT
2003
Springer
15 years 9 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...