7209 search results - page 196 / 1442 » Software Engineering for Multi-Agent Systems |
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
Large multi-platform, multi-million lines of codes software systems evolve to cope with new platform or to meet user ever changing needs. While there has been several studies focu...
SAC
2006
ACM
14 years 4 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
CSMR
1999
IEEE
14 years 2 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...