595 search results - page 101 / 119 » Representing and Executing Agent-Based Systems |
100
click to vote
ASE
2008
15 years 17 days ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
111
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
130
Voted
FAC
2008
15 years 15 days ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
118
Voted
ITSSA
2006
15 years 12 days ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
133
Voted
JOT
2007
15 years 9 days ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...