On the public citation graph
Stepwise refinement and verification in box-structured systems
0 signed · 121 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-48354-7_21openalex-snapshot
On a ‘Buzzword’: Hierarchical Structure
inferredcites →https://doi.org/10.1007/978-3-642-59412-0_27openalex-snapshot
On a ‘Buzzword’: Hierarchical Structure
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1147/sj.264.0395openalex-snapshot
Box structured information systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/j.2334-5837.1995.tb01893.xopenalex-snapshot
4.1.3 A RIGOROUS METHOD FOR FORMAL REQUIREMENTS DEFINITION
inferred← citeshttps://doi.org/10.1002/spe.907openalex-snapshot
The impact of requirements changes on specifications and state machines
inferred← citeshttps://doi.org/10.1007/3-540-27662-9_11openalex-snapshot
Software Process Evolution at the SEL
inferred← citeshttps://doi.org/10.1007/3-540-28244-0_11openalex-snapshot
Understanding Ambiguity in Requirements Engineering
inferred← citeshttps://doi.org/10.1007/3-540-55963-9_64openalex-snapshot
The IBM Cleanroom software engineering technology transfer program
inferred← citeshttps://doi.org/10.1007/978-1-4471-2023-0_4openalex-snapshot
G++: An Environment for Object-Oriented Design and Prototyping of Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-1791-7_13openalex-snapshot
Object-Oriented Design with Box Structures
inferred← citeshttps://doi.org/10.1007/978-3-319-21070-4_38openalex-snapshot
Formalizing the Cardiac Pacemaker Resynchronization Therapy
inferred← citeshttps://doi.org/10.1007/978-3-319-25141-7_3openalex-snapshot
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_9openalex-snapshot
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
inferred← citeshttps://doi.org/10.1007/978-3-642-32355-3_6openalex-snapshot
Experiences with a Compositional Model Checker in the Healthcare Domain
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_13openalex-snapshot
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification
inferred← citeshttps://doi.org/10.1007/978-94-017-2740-2_11openalex-snapshot
Flow-Service-Quality (FSQ) Engineering for the Specification of Complex Systems
inferred← citeshttps://doi.org/10.1007/s10009-003-0113-xopenalex-snapshot
Formal methods software engineering for the CARA system
inferred← citeshttps://doi.org/10.1007/s10009-015-0374-1openalex-snapshot
Evaluating the effect of a lightweight formal technique in industry
inferred← citeshttps://doi.org/10.1007/s10664-013-9251-2openalex-snapshot
Experiences with incorporating formal techniques into industrial practice
inferred← citeshttps://doi.org/10.1007/s10703-013-0185-5openalex-snapshot
Applying string-rewriting to sequence-based specification
inferred← citeshttps://doi.org/10.1007/s11704-008-0034-7openalex-snapshot
Pushing requirements changes through to changes in specifications
inferred← citeshttps://doi.org/10.1016/0167-9236(93)90024-wopenalex-snapshot
Model type selection in an integrated DSS environment
inferred← citeshttps://doi.org/10.1016/0167-9236(94)e0044-ropenalex-snapshot
Box-structured requirements determination methods
inferred← citeshttps://doi.org/10.1016/0360-1315(92)90121-kopenalex-snapshot
Integrating systems development theory and practice in an information systems curriculum
inferred← citeshttps://doi.org/10.1016/b978-0-444-82269-7.50005-8openalex-snapshot
Industrial Experience of Using SDL in IskraTEL
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.04.008openalex-snapshot
Combining the Box Structure Development Method and CSP for Software Development
inferred← citeshttps://doi.org/10.1016/j.entcs.2013.04.005openalex-snapshot
Incorporating Formal Techniques into Industrial Practice: an Experience Report
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.041openalex-snapshot
An axiom system for sequence-based specification
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60269-7openalex-snapshot
Zero Defect Software: Cleanroom Engineering
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60595-1openalex-snapshot
Object-Oriented System Development Methods
inferred← citeshttps://doi.org/10.1016/s0950-5849(03)00098-3openalex-snapshot
A controlled experiment to evaluate how styles affect the understandability of requirements specifications
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)54321-9openalex-snapshot
Outline of an Environment for the Specification and Prototyping of Scheduling and Control Systems for Manufacturing
inferred← citeshttps://doi.org/10.1023/a:1018931214684openalex-snapshot
Feasible input domain partitioning in software testing: RCS case study
inferred← citeshttps://doi.org/10.1080/07421222.1992.11517942openalex-snapshot
The Analysis and Design of Embedded Knowledge-Based Systems Using Box Structure Methods
inferred← citeshttps://doi.org/10.1109/32.238580openalex-snapshot
A case history development of a foolproofing interface documentation system
inferred← citeshttps://doi.org/10.1109/32.935852openalex-snapshot
Foundations of the trace assertion method of module interface specification
inferred← citeshttps://doi.org/10.1109/5.24147openalex-snapshot
Software maintenance: The need for standardization
inferred← citeshttps://doi.org/10.1109/52.120604openalex-snapshot
Integrated CASE for cleanroom development
inferred← citeshttps://doi.org/10.1109/52.300090openalex-snapshot
Software process evolution at the SEL
inferred← citeshttps://doi.org/10.1109/52.60601openalex-snapshot
Engineering software under statistical quality control
inferred← citeshttps://doi.org/10.1109/aero.1997.577519openalex-snapshot
Cleanroom software engineering for flight systems: A preliminary report
inferred← citeshttps://doi.org/10.1109/aihas.1992.636871openalex-snapshot
A Functional/Declarative Dichotomy for Characterizing Simulation Models
inferred← citeshttps://doi.org/10.1109/apsec.1997.640156openalex-snapshot
Quality and reuse in industrial software engineering
inferred← citeshttps://doi.org/10.1109/apsec.2003.1254357openalex-snapshot
Academia and industry meet: some experiences of formal methods in practice
inferred← citeshttps://doi.org/10.1109/ase.2004.1342760openalex-snapshot
Combining the box structure development method and CSP
inferred← citeshttps://doi.org/10.1109/ccst.2003.1297576openalex-snapshot
3D visualization to support airport security operations
inferred← citeshttps://doi.org/10.1109/cmpsac.1988.17155openalex-snapshot
Software engineering-retrospect and prospect
inferred← citeshttps://doi.org/10.1109/cmpsac.1989.65051openalex-snapshot
Concurrent system design with box structures
inferred← citeshttps://doi.org/10.1109/csac.1990.143818openalex-snapshot
Informal top-level specifications for trusted application systems
inferred← citeshttps://doi.org/10.1109/csee.1998.658294openalex-snapshot
Software engineering at a distance
inferred← citeshttps://doi.org/10.1109/csie.2009.609openalex-snapshot
The Embedded Product Testing Using Cleanroom Statistical Method
inferred← citeshttps://doi.org/10.1109/dmesp.1991.171775openalex-snapshot
Box structured development of embedded knowledge based systems: a case study
inferred← citeshttps://doi.org/10.1109/em-com.2009.5402963openalex-snapshot
A Formal Framework for Modeling External Behavior of an Embedded System As a Black Box Structure
inferred← citeshttps://doi.org/10.1109/em-com.2009.5402964openalex-snapshot
A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems through Use Case Models
inferred← citeshttps://doi.org/10.1109/hicss.1989.48115openalex-snapshot
A method for data re-engineering in structured programs
inferred← citeshttps://doi.org/10.1109/hicss.1989.49219openalex-snapshot
Dynamic view of decision domains for the design of active DSS
inferred← citeshttps://doi.org/10.1109/hicss.1991.184015openalex-snapshot
Integrated CASE support for box structure systems development: a case study
inferred← citeshttps://doi.org/10.1109/hicss.1992.183252openalex-snapshot
Extended semantics for box structures
inferred← citeshttps://doi.org/10.1109/hicss.1992.183253openalex-snapshot
Using box structures with the Z notation
inferred← citeshttps://doi.org/10.1109/hicss.1992.183257openalex-snapshot
Incremental implementation of cleanroom practices
inferred← citeshttps://doi.org/10.1109/hicss.1992.183259openalex-snapshot
Central repository data models for cleanroom systems development
inferred← citeshttps://doi.org/10.1109/hicss.1993.284260openalex-snapshot
Achieving software quality through Cleanroom software engineering
inferred← citeshttps://doi.org/10.1109/hicss.1993.284290openalex-snapshot
Integrating joint application development (JAD) into cleanroom development with ICASE
inferred← citeshttps://doi.org/10.1109/hicss.1994.323367openalex-snapshot
Object-oriented box structures for developing complex systems
inferred← citeshttps://doi.org/10.1109/hicss.2000.926734openalex-snapshot
Developing and verifying rigorous specifications with viewpoints, use cases, and sequence-based specification methods
inferred← citeshttps://doi.org/10.1109/hicss.2000.926735openalex-snapshot
Strategic information systems planning with box structures
inferred← citeshttps://doi.org/10.1109/iadcc.2010.5422902openalex-snapshot
A Formal Framework for verification and validation of external behavioral models of Embedded Systems represented through Black Box Structures
inferred← citeshttps://doi.org/10.1109/iccsse.1989.72727openalex-snapshot
A continuous approach to object-oriented software development
inferred← citeshttps://doi.org/10.1109/icse.1993.346060openalex-snapshot
Cleanroom software engineering for zero-defect software
inferred← citeshttps://doi.org/10.1109/iemc.1995.523934openalex-snapshot
Management of effective verification and validation
inferred← citeshttps://doi.org/10.1109/issre.1993.624272openalex-snapshot
Engineering reliable software
inferred← citeshttps://doi.org/10.1109/maes.2004.1308826openalex-snapshot
3D visualization to support airport security operations
inferred← citeshttps://doi.org/10.1109/mc.2008.85openalex-snapshot
Determining the Impact of Software Engineering Research on Practice
inferred← citeshttps://doi.org/10.1109/pccc.1991.113830openalex-snapshot
A white box analysis of concurrent system designs
inferred← citeshttps://doi.org/10.1109/qrs.2017.52openalex-snapshot
Assessing the Quality of Tabular State Machines through Metrics
inferred← citeshttps://doi.org/10.1109/robot.1991.131566openalex-snapshot
A framework for object oriented design and prototyping of manufacturing systems
inferred← citeshttps://doi.org/10.1109/secon.1996.510163openalex-snapshot
On using the Software Cleanroom Process in automated test equipment applications
inferred← citeshttps://doi.org/10.1109/sesd.1999.781107openalex-snapshot
Developing black box specifications through sequence enumeration
inferred← citeshttps://doi.org/10.1109/syscon.2015.7116735openalex-snapshot
Partitioning the requirements of embedded systems by input/output dependency analysis for compositional creation of parallel test models
inferred← citeshttps://doi.org/10.1109/tase.2008.16openalex-snapshot
Pushing Requirements Changes through to Changes in Specifications
inferred← citeshttps://doi.org/10.1109/tse.2003.1199071openalex-snapshot
Foundations of sequence-based software specification
inferred← citeshttps://doi.org/10.1134/s036176880901006xopenalex-snapshot
Application of the trace assertion method to the specification, design, and verification of automaton programs
inferred← citeshttps://doi.org/10.1142/s0218194016400118openalex-snapshot
An Algorithm for Forward Reduction in Sequence-Based Software Specification
inferred← citeshttps://doi.org/10.1145/100348.100361openalex-snapshot
An introduction to refinement metrics: assessing a programming language's support of the stepwise refinement process
inferred← citeshttps://doi.org/10.1145/1151433.1151439openalex-snapshot
Agile management of uncertain requirements via generalizations
inferred← citeshttps://doi.org/10.1145/125489.122826openalex-snapshot
The automated production control documentation system
inferred← citeshttps://doi.org/10.1145/1321211.1321257openalex-snapshot
Sequence-based specification of feedback control systems in Simulink®
inferred← citeshttps://doi.org/10.1145/1449603.1449609openalex-snapshot
Impact of research on practice in the field of inspections, reviews and walkthroughs
inferred← citeshttps://doi.org/10.1145/149516.149530openalex-snapshot
An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies
inferred← citeshttps://doi.org/10.1145/182824.182828openalex-snapshot
Visual software engineering with rules
inferred← citeshttps://doi.org/10.1145/182987.184075openalex-snapshot
Integrated object-oriented testing and development processes
inferred← citeshttps://doi.org/10.1145/240678.240706openalex-snapshot
The situation in object-oriented specification and design
inferred← citeshttps://doi.org/10.1145/289524.289568openalex-snapshot
Visual support for incremental abstraction and refinement in Ada 95
inferred← citeshttps://doi.org/10.1145/301687.289568openalex-snapshot
Visual support for incremental abstraction and refinement in Ada 95
inferred← citeshttps://doi.org/10.1145/326490.326538openalex-snapshot
Using object modeling to transform structured analysis into object oriented design
inferred← citeshttps://doi.org/10.1147/sj.291.0059openalex-snapshot
Using box structures for definition of requirements specifications
inferred← citeshttps://doi.org/10.1147/sj.322.0232openalex-snapshot
Box-structured methods for systems development with objects
inferred← citeshttps://doi.org/10.1147/sj.331.0089openalex-snapshot
Adopting Cleanroom software engineering with a phased approach
inferred← citeshttps://doi.org/10.1184/r1/6572228openalex-snapshot
Cleanroom Software Engineering Reference
inferred← citeshttps://doi.org/10.1184/r1/6573875openalex-snapshot
Flow-Service-Quality (FSQ) Engineering: Foundations for Network System Analysis and Development
inferred← citeshttps://doi.org/10.1201/9781420031317.ch6openalex-snapshot
Stimulus Identification and Cohesion
inferred← citeshttps://doi.org/10.1520/stp164420210125openalex-snapshot
Protecting Additive Manufacturing Information When Encryption Is Insufficient
inferred← citeshttps://doi.org/10.18293/seke2016-192openalex-snapshot
An Algorithm for Forward Reduction in Sequence-Based Software Specification
inferred← citeshttps://doi.org/10.21236/ada319071openalex-snapshot
Cleanroom Software Engineering Reference Model. Version 1.0.
inferred← citeshttps://doi.org/10.2495/cr200271openalex-snapshot
FORMAL SOFTWARE INSPECTIONS: AN INDUSTRIAL APPLICATION OF FUNCTION TABLES AND EVENT-B TO SOFTWARE OF A WAYSIDE TRAIN MONITORING SYSTEM
inferred← citeshttps://doi.org/10.2514/6.1989-106openalex-snapshot
A logical model of cooperating rule-based systems in space mission ground support facilities
inferred← citeshttps://doi.org/10.3233/978-1-60750-629-4-398openalex-snapshot
Development and Evaluation of HAYST Method Tool (Software Testing)
inferred← citeshttps://doi.org/10.34961/3453openalex-snapshot
Verification of mathematical design documents
inferred← citeshttps://doi.org/10.35537/10915/4098openalex-snapshot
Análisis de Survivable Networks y evaluación de metodología TRIAD propuesta por el CERT
inferred← citeshttps://doi.org/10.5555/257572.257575openalex-snapshot
Cleanroom software engineering for zero-defect software
inferred← citeshttps://doi.org/10.59421/joeats.v3i2.2534openalex-snapshot
Validating Quality Metrics of State Machine Models
inferred← citeshttps://doi.org/10.71548/14032openalex-snapshot
A Comparative Study of Pre/postcondition and Relational Approaches to Program Development
inferred← citeshttps://doi.org/10.71548/7983openalex-snapshot
Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.