Sciweavers

7027 search results - page 627 / 1406
» Software process: a roadmap
Sort
View
COMPSAC
2002
IEEE
16 years 13 days ago
On Bootstrapping Replicated CORBA Applications
Critical components of a distributed system must be replicated to achieve high availability and fault tolerance. Current faulttolerant CORBA infrastructures have concentrated on m...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
COSPS
2001
Springer
15 years 12 months ago
The Sisal Project: Real World Functional Programming
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. W...
FOSSACS
2001
Springer
15 years 12 months ago
High-Level Petri Nets as Type Theories in the Join Calculus
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
Maria Grazia Buscemi, Vladimiro Sassone
RE
2001
Springer
15 years 12 months ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde
UML
2001
Springer
15 years 12 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France