formal specification
Sign in to savemathematically based techniques whose purpose are to help with the implementation of systems and software
Wikidata facts
Show 1 more fact
- ACM Classification Code (2012)
- 10003043
Sources (3)
via Wikidata · CC0
Connections
computer science
Entity
International Standard Book Number
Entity
Wayback Machine
Entity
digital object identifier
Entity
theorem
Entity
software engineering
Entity
software testing
Entity
agile software development
Entity
web service
Entity
quality of service
Entity
Q22908627
Entity
divide-and-conquer algorithm
Entity
requirements analysis
Entity
Petri net
Entity
formal methods
Entity
implementation
Entity
CiteSeerX
Entity
specification
Entity
formal verification
Entity
automated theorem proving
Entity