Sciweavers

4890 search results - page 1 / 978
» From system specifications to component behavioral models
Sort
View
ICSE
2009
IEEE-ACM
13 years 11 months ago
From system specifications to component behavioral models
Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...
SIGSOFT
2009
ACM
14 years 5 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
CLEIEJ
2002
192views more  CLEIEJ 2002»
13 years 4 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
ENTCS
2008
153views more  ENTCS 2008»
13 years 4 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
CBSE
2009
Springer
13 years 9 months ago
Extracting Behavior Specification of Components in Legacy Applications
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
Tomás Poch, Frantisek Plasil