Sciweavers

5961 search results - page 502 / 1193
» Design Science and Software Engineering
Sort
View
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 7 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang
HICSS
2007
IEEE
129views Biometrics» more  HICSS 2007»
16 years 1 months ago
Multi-level Architectural Evolution Management
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
Tien N. Nguyen
IVA
2005
Springer
16 years 23 days ago
Training Agents: An Architecture for Reusability
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
Gonzalo Méndez, Angélica de Antonio
ER
2004
Springer
139views Database» more  ER 2004»
16 years 19 days ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
OOPSLA
2007
Springer
16 years 1 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli