Abstract | ||
---|---|---|
A technique is proposed for semiformal specification. The authors distinguish two stages of formalization: data modeling and specification of operations. For each stage, the system provides a distinct tool. It consists of a graphical component called the MER diagram and a textual component called the KFD. Through an example, the authors present a knowledge assisted transformation process that can generate a formal specification from the given semiformal specification. The formal specification language chosen is VDM. The MER diagrams and KFDs form an input to the transformation described |
Year | DOI | Venue |
---|---|---|
1992 | 10.1109/KBSE.1992.252910 | Mclean, VA |
Keywords | Field | DocType |
vienna development method,formal specification,knowledge based systems,visual programming,kfd,mer diagram,vdm,data modeling,formal specification language,graphical component,knowledge assisted transformation process,semiformal specification,textual component,data model,formal specifications,natural languages,software systems,computer science,writing | Specification language,Data modeling,Programming language,Computer science,Knowledge-based systems,Formal specification,Theoretical computer science,Semi-formal,Natural language,Language Of Temporal Ordering Specification,Vienna Development Method | Conference |
ISSN | ISBN | Citations |
1068-3062 | 0-8186-2880-4 | 1 |
PageRank | References | Authors |
0.36 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
D'Almeida, J. | 1 | 1 | 0.36 |
Ramesh Achuthan | 2 | 4 | 1.45 |
Thiruvengadam Radhakrishnan | 3 | 117 | 32.44 |
Alagar, V.S. | 4 | 3 | 1.47 |