4476 search results - page 301 / 896 » A flexible framework for engineering |
206
click to vote
WOSP
2005
ACM
16 years 11 days ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
203
click to vote
WADT
2004
Springer
16 years 4 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...
178
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
232
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
186
click to vote
IJCAI
2007
15 years 8 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...