977 search results - page 61 / 196 » Formal methods integration in software engineering |
137
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
120
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
102
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
151
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
103
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...