Communicating sequential processes
Communicating sequential processes
Box structured information systems
IBM Systems Journal
Software Component with ADA
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Stimulus-response machines: a new visual formalism for describing classes and objects
ACM SIGSOFT Software Engineering Notes
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
IEEE Software
Software Process Evolution at the SEL
IEEE Software
Visual software engineering with rules
ACM SIGSOFT Software Engineering Notes
Integrated object-oriented testing and development processes
Communications of the ACM
ACM SIGSOFT Software Engineering Notes
The situation in object-oriented specification and design
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Cleanroom software engineering for zero-defect software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Visual support for incremental abstraction and refinement in Ada 95
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Using object modeling to transform structured analysis into object oriented design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Feasible input domain partitioning in software testing: RCS case study
Annals of Software Engineering
Engineering Software Under Statistical Quality Control
IEEE Software
Integrated CASE for Cleanroom Development
IEEE Software
A Case History Development of a Foolproofing Interface Documentation System
IEEE Transactions on Software Engineering
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
Using box structures for definition of requirements specifications
IBM Systems Journal
Box-structured methods for systems development with objects
IBM Systems Journal
Combining the Box Structure Development Method and CSP
Proceedings of the 19th IEEE international conference on Automated software engineering
Agile management of uncertain requirements via generalizations: a case study
Proceedings of the 2004 workshop on Quantitative techniques for software agile process
Sequence-based specification of feedback control systems in Simulink®
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
ACM SIGSOFT Software Engineering Notes
Programming and Computing Software
A formal language and analysis tool for black box specifications
Journal of Computing Sciences in Colleges
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
An axiom system for sequence-based specification
Theoretical Computer Science
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Development and Evaluation of HAYST Method Tool (Software Testing)
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
Hi-index | 4.12 |
The author proposes that the formality of specifications and designs be developed together in box structures with many sponsor and user interfaces. Box structures of data abstractions allow the stepwise refinement and verification of hierarchical system designs from their specifications at formal and informal levels. He discusses the features and advantages of the approach. He used a navigation and weather buoy case study and gives a detailed, step-by-step application of the method.