Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice
IEEE Transactions on Software Engineering
Low vs. high-fidelity prototyping debate
interactions
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
IEEE Software
Operational Prototyping: A New Development Approach
IEEE Software
CHI '03 Extended Abstracts on Human Factors in Computing Systems
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
JR East Contactless IC Card Automatic Fare Collection System "Suica"
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
What Does Industry Need From Formal Specification Techniques?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Evolution: A More Practical Approach than Refinement for Software Development
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
Formal Engineering for Industrial Software Development
Formal Engineering for Industrial Software Development
The Role of User Involvement in Requirements Quality and Project Success
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
The anatomy of prototypes: Prototypes as filters, prototypes as manifestations of design ideas
ACM Transactions on Computer-Human Interaction (TOCHI)
A Unified Model Checking Approach with Projection Temporal Logic
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Really Rethinking 'Formal Methods'
Computer
Integrating specification-based review and testing for detecting errors in programs
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
| Hi-index | 0.00 |
Writing formal specifications in a practical software project is likely to increase the time for requirements analysis and/or abstract design and to postpone the implementation, which is often hard to be accepted by the user and/or the manager of the project. Prototyping provides an agile approach for communication between the user and the developer but is unable to deal with all aspects of the system precisely and completely. In this paper, we put forward a new development approach resulting from integrating prototyping techniques into the SOFL three-step modeling approach. The new approach is aimed at achieving a quality development process through promoting the facilities for user-friendly communication between the user and the developer and for exploring all possible aspects of the system precisely. We have applied the approach to develop an IC card software for the Japan railway service system and present the recorded data as the result of the study. Compared to our previous experiences using both formal and informal methods, our study suggests that the new approach can be more practical than existing formal specification methods and more effective in achieving the completeness and accuracy of the user's requirements than informal specification methods.