836 search results - page 1 / 168 » An Object Semantic Model of SOFL |
205
click to vote
IFM
1999
Springer
15 years 12 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 ...
181
click to vote
COMPSAC
2002
IEEE
16 years 18 days 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...
190
click to vote
APSEC
1997
IEEE
15 years 12 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 ...
225
Voted
AINA
2003
IEEE
15 years 11 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...
236
click to vote
MMM
2011
Springer
14 years 11 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 ...