2487 search results - page 157 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
199
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
168
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
196
click to vote
KBSE
2005
IEEE
16 years 10 hour ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
190
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...
164
click to vote
PRDC
2007
IEEE
16 years 21 days ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...