4902 search results - page 705 / 981 » Multi-agent Systems Methodology |
176
click to vote
DATE
2003
IEEE
16 years 17 days ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
207
click to vote
DATE
2003
IEEE
16 years 17 days ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
181
click to vote
DATE
2003
IEEE
16 years 17 days ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
192
click to vote
ITCC
2003
IEEE
16 years 17 days ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
205
click to vote
MEMOCODE
2003
IEEE
16 years 17 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...