Sciweavers

677 search results - page 2 / 136
» Rigorous Object-Oriented Analysis
Sort
View
APAQS
2000
IEEE
15 years 1 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
14 years 8 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
105
Voted
ICRE
2000
IEEE
15 years 1 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...