We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Development of a Web Dictionary System Using SOFL.
- Authors
Nagoya, Fumiko; Liu, Shaoying
- Abstract
Component-based software development can help reduce time and cost by means of reusing software components, but the quality of the software may not be ensured if the adopted components contain errors. The Structured Object-oriented Formal Language (SOFL) is a formal specification language that can be used for quality software development. This paper describes a development of desktop application software by connecting with several software components, and how it is developed using SOFL. We introduce how the requirements are analyzed through writing an informal specification and then refining it into a semi-formal specification. We also discuss how the design is carried out by constructing a formal specification in SOFL. Finally, we present the implementation and explain the details of a testing conducted for the quality assurance of the system.
- Subjects
COMPUTER software development; COMPUTER software quality control; FORMAL languages; OBJECT-oriented programming languages; APPLICATION software
- Publication
Wireless Personal Communications, 2017, Vol 94, Issue 2, p253
- ISSN
0929-6212
- Publication type
Academic Journal
- DOI
10.1007/s11277-016-3291-z