The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /

This book explains in detail how to define requirements modelling languages - formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requir...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Jureta, Ivan (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Temas:
Software engineering.
Machine theory.
Artificial intelligence.
Computer science.
Software Engineering.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 1 Requirements Problem Solving
  • 2 Problem Solving Automation
  • 3 Problem and Solution Concepts
  • 4 On Requirements Modelling Languages
  • 5 Requirements Problem Solving Cases
  • 6 Checklists, Templates, and Services
  • 7 Relations
  • 8 Guidelines
  • 9 Categories
  • 10 Valuation
  • 11 Uncertainty
  • 12 Alternatives
  • 13 Constraints
  • 14 Preferences
  • 15 Links to Formal Logic.

Ejemplares similares