The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...