Sciweavers

2930 search results - page 49 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
IPPS
2002
IEEE
14 years 16 days ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
CAISE
2000
Springer
13 years 12 months ago
Extending a Conceptual Modelling Approach to Web Application Design
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
Jaime Gómez, Cristina Cachero, Oscar Pastor
EDCC
1994
Springer
13 years 11 months ago
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...
Jean-Charles Fabre, Yves Deswarte, Brian Randell
WOA
2004
13 years 9 months ago
Using Method Engineering for the Construction of Agent-Oriented Methodologies
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
Giancarlo Fortino, Alfredo Garro, Wilma Russo