II.
LibraryProcess overview
Reference · livelib-process:shared--cleanroom
cleanroom overview
Cleanroom Software Engineering - Formal methods with statistical usage testing for certifiable reliability
Attributes
displayName
cleanroom
description
Cleanroom Software Engineering - Formal methods with statistical usage testing for certifiable reliability
libraryPath
library/methodologies/cleanroom/cleanroom.js
usesAgents
- formal-specification-engineer
- increment-planner
- design-verifier
- design-fixer
- cleanroom-implementer
- code-inspector
- implementation-fixer
- usage-modeler
- statistical-test-generator
- statistical-test-executor
- reliability-analyst
- certification-documenter
Outgoing edges
follows_methodology1
- methodology:cleanroom·MethodologyCleanroom Software Engineering
lib_applies_to_domain1
- domain:software-engineering·DomainSoftware Engineering
lib_belongs_to_specialization1
- specialization:qa-testing-automation·Specialization
lib_covers_topic1
- topic:test-driven-development·TopicTest-Driven Development
lib_implements_workflow2
- workflow:feature-development·Workflow
- workflow:release-management·Workflow
lib_involves_role2
- role:qa-engineer·RoleQA Engineer
- role:tech-lead·RoleTech Lead
lib_requires_skill_area3
- skill-area:acceptance-testing·SkillAreaAcceptance Testing
- skill-area:integration-testing·SkillAreaIntegration Testing
- skill-area:e2e-testing·SkillAreaEnd-to-End Testing
Incoming edges
None.