Lightweight Formal Methods for Scenario-based Software Engineering

Search results

• Finished

  Evolution: Evolution

  Cleve, A.

  1/01/10 → 31/01/10

  Project: Research Axis

  • Models 100%
  • Structured Query Language 69%
  • Semantics 65%
  • Feature Diagram 63%
  • Programs 61%

• Requirements engineering and business/IT alignment

  Cleve, A.

  1/01/10 → 31/01/10

  Project: Research Axis

  • Requirement Engineering 100%
  • Models 47%
  • modeling language 47%
  • Coding 38%
  • Oriented Language 33%

• Model-driven engineering

  Cleve, A.

  1/01/10 → 31/01/10

  Project: Research Axis

  • Feature Diagram 100%
  • Semantics 79%
  • Models 70%
  • Architecture Design 29%
  • Workflows 29%