| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Drasil.Concepts.Software
Description
Defines concepts used in the field of software.
Synopsis
- softwarecon :: [ConceptChunk]
- c :: ConceptChunk
- errMsg :: ConceptChunk
- physLib :: ConceptChunk
- program :: ConceptChunk
- accuracy :: ConceptChunk
- correctness :: ConceptChunk
- maintainability :: ConceptChunk
- performance :: ConceptChunk
- performanceSpd :: ConceptChunk
- portability :: ConceptChunk
- reliability :: ConceptChunk
- reusability :: ConceptChunk
- understandability :: ConceptChunk
- verifiability :: ConceptChunk
- qualOfBeing :: String -> String
- hwHiding :: ConceptChunk
- modBehavHiding :: ConceptChunk
- modControl :: ConceptChunk
- modSfwrDecision :: ConceptChunk
- modInputFormat :: ConceptChunk
- modInputParam :: ConceptChunk
- modInputConstraint :: ConceptChunk
- modInputVerif :: ConceptChunk
- modDerivedVal :: ConceptChunk
- modInterpolation :: ConceptChunk
- modInterpDatum :: ConceptChunk
- modSeqServ :: ConceptChunk
- modLinkedServ :: ConceptChunk
- modAssocServ :: ConceptChunk
- modVectorServ :: ConceptChunk
- modPlotDesc :: ConceptChunk
- modOutputfDescFun :: Sentence -> ConceptChunk
- modOdeDesc :: ConceptChunk
Common Software Concepts
softwarecon :: [ConceptChunk] Source #
Collects all software-related concepts.
c :: ConceptChunk Source #
Non-functional Requirements
qualOfBeing :: String -> String Source #