Sciweavers

561 search results - page 32 / 113
» VSE: Controlling the Complexity in Formal Software Developme...
Sort
View
SCFBM
2008
112views more  SCFBM 2008»
15 years 1 months ago
The Multiscale Systems Immunology project: software for cell-based immunological simulation
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
Faheem Mitha, Timothy A. Lucas, Feng Feng, Thomas ...
FLAIRS
2008
15 years 4 months ago
Modelling Uniformity and Control during Knowledge Acquisition
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
Bernhard Heinemann
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 6 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
15 years 6 months ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann
AGILEDC
2003
IEEE
15 years 7 months ago
Making Agile Development Work in a Government Contracting Environment - Measuring velocity with Earned Value
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
Glen B. Alleman, Michael Henderson, Ray Seggelke