Sciweavers

1579 search results - page 90 / 316
» A software development process supporting non-functional pro...
Sort
View
AOSD
2008
ACM
15 years 6 months ago
Support for distributed adaptations in aspect-oriented middleware
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
Eddy Truyen, Nico Janssens, Frans Sanen, Wouter Jo...
ADAEUROPE
2006
Springer
15 years 10 months ago
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
Stefan Wagner, Helmut Fischer
APSEC
2008
IEEE
15 years 6 months ago
A Verification Framework for FBD Based Software in Nuclear Power Plants
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
AOSE
2007
Springer
15 years 10 months ago
A Methodology for Developing Multiagent Systems as 3D Electronic Institutions
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...
SEKE
2009
Springer
15 years 9 months ago
Collaborative Development of System Architecture - a Tool for Coping with Inconsistency
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
Peter Henderson, Matthew J. Henderson