3828 search results - page 491 / 766 » Proof-Based System Engineering Using a Virtual System Model |
161
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
170
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...
172
click to vote
RE
2009
Springer
15 years 11 months ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
191
click to vote
VMCAI
2005
Springer
16 years 17 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
183
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...