loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh Asia-Pacific Software Engineering Conference (APSEC'00)
A GUI and testing tool for SOFL
Singapore
December 05-December 08
ISBN: 0-7695-0915-0
ASCII Text
x 
 
Shaoying Liu, T. Fukuzaki, K. Miyamoto, "A GUI and testing tool for SOFL," Asia-Pacific Software Engineering Conference, pp. 421, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2000.896729,
author = {Shaoying Liu and T. Fukuzaki and K. Miyamoto},
title = {A GUI and testing tool for SOFL},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2000},
issn = {1530-1362},
pages = {421},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896729},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - A GUI and testing tool for SOFL
SN - 1530-1362
SP
EP
A1 - Shaoying Liu,
A1 - T. Fukuzaki,
A1 - K. Miyamoto,
PY - 2000
KW - graphical user interfaces; formal specification; object-oriented languages; specification languages; software tools; Petri nets; flowcharting; object-oriented methods; formal language; system specification; system design; Petri nets; data flow diagrams; VDM-SL; structured method; object-oriented method; graphical user interface; SOFL specification construction; SOFL specification testing tool; modules; classes
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
Shaoying Liu, Hosei Univ., Japan
T. Fukuzaki, Hosei Univ., Japan
K. Miyamoto, Hosei Univ., Japan
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, data flow diagrams, and VDM-SL. As a method it is a combination of a structured method and object-oriented method. We introduce a graphical user interface (GUI) for supporting the construction of SOFL specifications, and a tool for testing SOFL specifications. With those tools it would be easy to construct a SOFL specification that consists of condition data flow diagrams, modules, and classes and to ensure its consistency and validity.
Index Terms:
graphical user interfaces; formal specification; object-oriented languages; specification languages; software tools; Petri nets; flowcharting; object-oriented methods; formal language; system specification; system design; Petri nets; data flow diagrams; VDM-SL; structured method; object-oriented method; graphical user interface; SOFL specification construction; SOFL specification testing tool; modules; classes
Citation:
Shaoying Liu, T. Fukuzaki, K. Miyamoto, "A GUI and testing tool for SOFL," apsec, pp.421, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.