Sciweavers

677 search results - page 16 / 136
» Rigorous Object-Oriented Analysis
Sort
View
FMSD
2007
138views more  FMSD 2007»
15 years 5 months ago
Object oriented concepts identification from formal B specifications
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
Akram Idani, Yves Ledru
ICSM
2006
IEEE
15 years 11 months ago
The Conceptual Coupling Metrics for Object-Oriented Systems
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...
Denys Poshyvanyk, Andrian Marcus
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 10 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 10 months ago
How Performance and Self-Efficacy Influence the Ease of Use of Object-Orientation: The Moderating Effect of Prior Training
In this study, we empirically explore how task performance and domain-specific self-efficacy influence the perceived ease of use (PEU) of object-oriented techniques. We hypothesiz...
Liping Liu, Elizabeth E. Grandon
HPDC
2002
IEEE
15 years 10 months ago
Interactive and Descriptor-Based Deployment of Object-Oriented Grid Applications
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
Françoise Baude, Denis Caromel, Fabrice Hue...