7209 search results - page 520 / 1442 » Software Engineering for Multi-Agent Systems |
119
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
111
click to vote
WCRE
1996
IEEE
15 years 8 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
138
click to vote
AI
2002
Springer
15 years 4 months ago
2002
Springer
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
118
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
110
click to vote
WER
2007
Springer
15 years 10 months ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...