Sciweavers

327 search results - page 2 / 66
» Early Safety Analysis: from Use Cases to Component-based Sof...
Sort
View
EDOC
2000
IEEE
13 years 9 months ago
A Component-Based Groupware Development Methodology
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
Cléver Ricardo Guareis de Farias, Luí...
CCGRID
2006
IEEE
13 years 11 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
ICSE
2001
IEEE-ACM
13 years 9 months ago
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
Murali Sitaraman, Timothy J. Long, Bruce W. Weide,...
HASE
2002
IEEE
13 years 10 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
SAFECOMP
1998
Springer
13 years 9 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha