7380 search results - page 636 / 1476 » Engineering Software Intensive Systems |
180
click to vote
ESOP
2005
Springer
16 years 12 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
174
click to vote
COOPIS
2003
IEEE
16 years 5 days ago
2003
IEEE
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
205
click to vote
IJAOSE
2008
15 years 6 months ago
2008
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
172
click to vote
ECLIPSE
2006
ACM
16 years 26 days ago
2006
ACM
Despite the fact that software development is an inherently collaborative activity, a great deal of software development is spent with developers in isolation, working on their ow...
178
click to vote
LDTA
2010
15 years 4 months ago
2010
This paper investigates the suitability of contemporary DSL tools in the context of enterprise software development. The main focus is on integration issues between the DSL tool, ...