Publication | Closed Access
Axiomatic Specifications in Firmware Development Systems
15
Citations
3
References
1986
Year
EngineeringArchitectural EngineeringComputer ArchitectureSoftware EngineeringSemanticsArchitecture SpecificationSoftware AnalysisFormal VerificationSoftware ArchitectureSocial SciencesArchitecture Description LanguageSystems EngineeringSoftware Architecture ModelingFormal SpecificationDesignSoftware TechnologySoftware DesignSystem ArchitectureArchitectural DesignSpecification LanguageFormal MethodsAxiomatic SpecificationsSystem SoftwareSystem SpecificationKey Ideas
Some key ideas originating in the domain of software technology have been used in the design of the architecture description language S*M.
| Year | Citations | |
|---|---|---|
Page 1
Page 1