Concepedia

Building traceable Event-B models from requirements

Eman H. Alkhammash, Michael Butler, Asieh Salehi Fathabadi, Corina Ĉırstea

Science of Computer Programming · 2015 · 17 citations · 11 references

Concepts

EngineeringSystems EngineeringFormal MethodsModel-based Systems EngineeringRequirements EngineeringRequirements AnalysisRequirements ElicitationRequirements ManagementRequirements ModelingRequirements TraceabilityTraceabilityModel TraceabilityModel-based Requirements EngineeringTraceability Models

References

11

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

Computing, Computer Engineering, Computer Science +11

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede et al. · International Journal on Software Tools for Technology Transfer · 2010 · 677 citations

Computing, Computer Science, Computer Systems +10

An axiomatic definition of the programming language PASCAL

C. A. R. Hoare, Niklaus Wirth · Acta Informatica · 1973 · 458 citations · Full text

Computing, Computer Science, Formal Methods +11

Colin Snook, Michael Butler · ACM Transactions on Software Engineering and Methodology · 2006 · 290 citations

Computing, Computer Science, Diagramming +9