Sciweavers

78 search results - page 11 / 16
» Automating Scenario-Driven Structured Requirements Engineeri...
Sort
View
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
14 years 1 months ago
Toward a Comprehensive Framework for Software Process Modeling Evolution
Software process modeling has undergone extensive changes in the last three decades, impacting process' structure, degree of control, degree of visualization, degree of autom...
Osama Eljabiri, Fadi P. Deek
DLOG
2003
13 years 11 months ago
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
Ralf Möller, Ronald Cornet, Volker Haarslev
ETFA
2008
IEEE
14 years 4 months ago
Automatic generation of bond graph models of process plants
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
Sebastian Beez, Alexander Fay, Nina F. Thornhill
EMSOFT
2003
Springer
14 years 3 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...
ICSE
2009
IEEE-ACM
14 years 4 months ago
Guided path exploration for regression test generation
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan ...