#3288: updated maintainability NFR for Projectile example

JacquesCarette · May 9, 2024 · 0d54a81 · 0d54a81
1 parent d27f9f5
commit 0d54a81
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/code/drasil-example/projectile/lib/Drasil/Projectile/Requirements.hs b/code/drasil-example/projectile/lib/Drasil/Projectile/Requirements.hs
@@ -6,12 +6,11 @@ import Language.Drasil.Chunk.Concept.NamedCombinators
 import qualified Language.Drasil.Sentence.Combinators as S
 
 import Data.Drasil.Concepts.Computation (inValue)
-import Data.Drasil.Concepts.Documentation (assumption, code, datumConstraint,
- environment, funcReqDom, likelyChg, mg, mis, module_, nonFuncReqDom, output_,
- property, requirement, srs, traceyMatrix, unlikelyChg, value, vavPlan, propOfCorSol)
+import Data.Drasil.Concepts.Documentation (code, datumConstraint,
+ environment, funcReqDom, mg, mis, nonFuncReqDom, output_,
+ property, value, vavPlan, propOfCorSol)
 import Data.Drasil.Concepts.Math (calculation)
 import Data.Drasil.Concepts.Software (errMsg)
-import Data.Drasil.TheoryConcepts (dataDefn, genDefn, inModel, thModel)
 
 import Drasil.Projectile.IMods (landPosIM, messageIM, offsetIM, timeIM)
 import Drasil.Projectile.Unitals (flightDur, landPos, message, offset)
@@ -72,13 +71,14 @@ reusable :: ConceptInstance
 reusable = cic "reusable" (foldlSent [atStartNP (the code), S "is modularized"]) "Reusable" nonFuncReqDom
 
 maintainable :: ConceptInstance
-maintainable = cic "maintainable" (foldlSent [
- S "The traceability between", foldlList Comma List [plural requirement,
- plural assumption, plural thModel, plural genDefn, plural dataDefn, plural inModel,
- plural likelyChg, plural unlikelyChg, plural module_], S "is completely recorded in",
- plural traceyMatrix, S "in the", getAcc srs `S.and_` phrase mg]) "Maintainable" nonFuncReqDom
+maintainable = cic "maintainability" (foldlSent [
+ S "If a likely change is made" `S.toThe` S "finished software, it will take", 
+ addPercent (10 :: Integer), S "percent" `S.ofThe` S "original development time,",
+ S "assuming the same development resources are available"
+ ]) "Maintainability" nonFuncReqDom
 
 portable :: ConceptInstance
 portable = cic "portable" (foldlSent [
  atStartNP (the code), S "is able to be run in different", plural environment])
- "Portable" nonFuncReqDom
+ "Portable" nonFuncReqDom
+