Sciweavers

1308 search results - page 103 / 262
» Application of Hazard Analysis to Software Quality Modelling
Sort
View
120
Voted
DOCENG
2008
ACM
15 years 5 months ago
Interactive office documents: a new face for web 2.0 applications
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...
John M. Boyer
120
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
A Model and a Design Approach to Building QoS Adaptive Systems
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
Paul D. Ezhilchelvan, Santosh K. Shrivastava
158
Voted
UML
2005
Springer
15 years 9 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
145
Voted
ISIM
2007
15 years 5 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
PROFES
2007
Springer
15 years 9 months ago
Software Development Improvement with SFIM
Most industries are challenging to increase productivity of software development. Often many process improvement activities are started with enthusiasm, unfortunately most of these...
René L. Krikhaar, Martin Mermans