836 search results - page 1 / 168 » An Object Semantic Model of SOFL |
IFM
1999
Springer
13 years 9 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
COMPSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
APSEC
1997
IEEE
13 years 9 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
AINA
2003
IEEE
13 years 8 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
MMM
2011
Springer
12 years 8 months ago
2011
Springer
Having effective methods to access the images with desired object is essential nowadays with the availability of huge amount of digital images. We propose a semantic higher-level ...