Concepedia

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët

Innovations in Systems and Software Engineering · 2009 · 65 citations · 13 references

Concepts

EngineeringComputer ScienceSystems EngineeringModel-based Systems EngineeringRequirements EngineeringSystems ModelingRequirements AnalysisRequirements ElicitationRequirements ModelingRequirements SpecificationSystem DiagramsSystem RequirementsExecutable Sysml ModelsRequirement GraphsSysml Block Definition DiagramsSysml Internal Block DiagramsSystem Requirements Specification

References

13

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

From object-oriented to goal-oriented requirements analysis

John Mylopoulos, Lawrence Chung, Eric Yu · Communications of the ACM · 1999 · 584 citations · Full text

Engineering, Computer Science, Requirements Engineering +13

Goal-based requirements analysis

Annie I. Antón · 2002 · 527 citations

Engineering, Systems Engineering, Requirements Engineering +14

Inquiry-based requirements analysis

Colin Potts, Kenji Takahashi, Annie I. Antón · IEEE Software · 1994 · 523 citations

Engineering, Information Systems, Documentation +14

Guiding goal modeling using scenarios

Colette Rolland, Carine Souveyet, Camille Ben Achour · IEEE Transactions on Software Engineering · 1998 · 477 citations

Engineering, Systems Engineering, Requirements Engineering +14