848 search results - page 42 / 170 » A Formal Monitoring-Based Framework for Software Development... |
MSR
2009
ACM
14 years 1 months ago
2009
ACM
Researchers continue to demonstrate the benefits of Mining Software Repositories (MSR) for supporting software development and research activities. However, as the mining process...
FOSSACS
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
DAI
1995
Springer
14 years 11 days ago
1995
Springer
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
ESEC
1997
Springer
14 years 29 days ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
ARGMAS
2004
Springer
14 years 16 days ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...