Sciweavers

677 search results - page 2 / 136
» Rigorous Object-Oriented Analysis
Sort
View
APAQS
2000
IEEE
13 years 11 months ago
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
Claudia Pons, Maximo Prieto, Luis Olsina
ICFEM
2010
Springer
13 years 5 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
ICRE
2000
IEEE
13 years 11 months ago
Process Modeling for Object Oriented Analysis Using BORM Object Behavioral Analysis
BORM Object Behavior Analysis (BOBA) is a first stage in a process of object modeling which has proved successful in a wide number of applications. This paper discusses this metho...
Roger P. Knott, Vojtech Merunka, Jirí Pol&a...