3920 search results - page 481 / 784 » Challenges in Software Evolution |
158
click to vote
SAS
2000
Springer
15 years 9 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
221
click to vote
EON
2008
15 years 7 months ago
2008
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
141
click to vote
FORTE
2007
15 years 7 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
190
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
147
click to vote
WSCG
2001
15 years 7 months ago
2001
With the advent of software agents and assistants, the concept of so called conversational user interfaces evolved, incorporating natural language interaction, dialogue management...