Safeware Engineering (United States)

Statistics

Publications

Citations

246

Location

Arnold, United States

Safeware Engineering (United States) is a company institution in Arnold, United States known for system requirements specification, requirements engineering, and engineering.

Homepage ROR

Top concepts

Requirements EngineeringSystem Requirements SpecificationEngineeringSystems DesignComputer ScienceSystems EngineeringAerospace EngineeringRequirements ModelingSpecification LanguagesRequirements Specification

Publications

Model checking large software specifications

W. K. Chan, Richard Anderson, Paul Beame et al. · IEEE Transactions on Software Engineering · 1998 · 199 citations

Computing, Aerospace Engineering, Computer Science +16

SpecTRM: a CAD system for digital automation

Nancy G. Leveson, J.D. Reese, Mats P. E. Heimdahl · 2002 · 29 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Experiences from specifying the TCAS II requirements using RSML

Mats P. E. Heimdahl, Nancy G. Leveson, J.D. Reese · 2002 · 11 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +17

1–3 of 9