2147 search results - page 222 / 430 » Teleological Software Adaptation |
145
Voted
ETRICS
2006
15 years 7 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
139
Voted
WOA
2004
15 years 5 months ago
2004
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
172
Voted
INFSOF
2006
15 years 3 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
167
Voted
INFSOF
2000
15 years 3 months ago
2000
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
210
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...