3828 search results - page 466 / 766 » Proof-Based System Engineering Using a Virtual System Model |
199
click to vote
MSR
2009
ACM
15 years 11 months ago
2009
ACM
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
188
click to vote
FASE
2003
Springer
16 years 2 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
156
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...
210
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
185
click to vote
MSR
2009
ACM
16 years 1 months ago
2009
ACM
Previous studies have shown that software code attributes, such as lines of source code, and history information, such as the number of code changes and the number of faults in pr...