8627 search results - page 1416 / 1726 » Software Engineering Using RATionale |
174
Voted
AOSD
2005
ACM
16 years 9 days ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
180
click to vote
VMCAI
2005
Springer
16 years 7 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...
168
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
201
click to vote
WADT
2004
Springer
16 years 3 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
185
click to vote
WOSP
2010
ACM
16 years 2 days ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...