561 search results - page 43 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
167
click to vote
KBSE
2008
IEEE
16 years 16 days ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
150
click to vote
LREC
2010
15 years 7 months ago
2010
Although the Semantic web is steadily gaining in popularity, it remains a mystery to a large percentage of Internet users. This can be ed to the complexity of the technologies tha...
197
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
158
click to vote
VMCAI
2005
Springer
15 years 11 months 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...
152
click to vote
RTAS
1995
IEEE
15 years 9 months ago
1995
IEEE
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...