Sciweavers

677 search results - page 16 / 136
» Rigorous Object-Oriented Analysis
Sort
View
FMSD
2007
138views more  FMSD 2007»
13 years 8 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
14 years 2 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»
14 years 1 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»
14 years 1 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
14 years 1 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...