Concepedia

Early validation of system requirements and design through correctness-by-construction

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis

Journal of Systems and Software · 2018 · 37 citations · 51 references

Open access

Concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsRequirements EngineeringSystems DesignDesign SpecificationRequirements AnalysisRequirements SpecificationRequirements ValidationSystem RequirementsVerificationDesign VerificationRequirement VerificationRequirement-based VerificationRequirements Correctness CheckingSystem Verification

References

51

A classification and comparison framework for software architecture description languages

Nenad Medvidović, Richard N. Taylor · IEEE Transactions on Software Engineering · 2000 · 2K citations

Computing, Computer Science, Programming Languages +12

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

Computing, Computer Science, Mathematics +13

Advances in astronautical sciences

Luke Shepherd · Planetary and Space Science · 1963 · 1.3K citations

Engineering, Aerospace Engineering, Astronomy +12

A formal basis for architectural connection

Robert J. Allen, David Garlan · ACM Transactions on Software Engineering and Methodology · 1997 · 1.2K citations

Computing, Architectural Design, Computer Science +17

Understanding quality in conceptual modeling

Odd Ivar Lindland, Guttorm Sindre · IEEE Software · 1994 · 862 citations

Management, Quality Management, Quality Assurance +8