Sciweavers

112 search results - page 1 / 23
» Consistency of the static and dynamic components of object-o...
Sort
View
DKE
2002
137views more  DKE 2002»
13 years 3 months ago
Consistency of the static and dynamic components of object-oriented specifications
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...
Anna Formica, Heinz Frank
CBSE
2010
Springer
13 years 8 months ago
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
Simon Allier, Houari A. Sahraoui, Salah Sadou, St&...
ACIIDS
2011
IEEE
209views Database» more  ACIIDS 2011»
12 years 10 months ago
Prototype of Object-Oriented Declarative Workflows
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...
Marcin Dabrowski, Michal Drabik, Mariusz Trzaska, ...
VISSOFT
2002
IEEE
13 years 8 months ago
Runtime Visualisation of Object Oriented Software
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
Michael P. Smith, Malcolm Munro
FMSD
2007
138views more  FMSD 2007»
13 years 3 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