Business Standard Compliance and Requirements Validation Using Goal Models

Codi QR

Business Standard Compliance and Requirements Validation Using Goal Models

Guardat en:

Dades bibliogràfiques
Autors principals:	Deb, Novarun, Chaki, Nabendu
Format:	Llibre
Idioma:	English
Publicat:	Springer Singapore 2020
Matèries:	Engineering Mathematical and Computational Engineering Software Engineering/Programming and Operating Systems Mathematical Software
Accés en línia:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90615
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Ítems similars

Requirements Engineering: Foundation for Software Quality
per: Paech, Barbara, et al.
Publicat: (2020)

Requirements Engineering: Foundation for Software Quality
per: Sawyer, Pete, et al.
Publicat: (2020)

Model Checking Software
per: Godefroid, Patrick
Publicat: (2020)

Models in Software Engineering
per: Kühne, Thomas
Publicat: (2020)

Model Checking Software
per: Bosnacki, Dragan, et al.
Publicat: (2020)

Software Verification and Validation
per: Fisher, Marcus S.
Publicat: (2020)

Model-Driven Software Development
per: Beydeda, Sami, et al.
Publicat: (2020)

The Common Component Modeling Example
Publicat: (2020)

Objects, Components, Models and Patterns
Publicat: (2020)

Objects, Components, Models and Patterns
per: Paige, Richard F., et al.
Publicat: (2020)

Model Driven Engineering and Ontology Development
Publicat: (2020)

Analytical and Stochastic Modeling Techniques and Applications
per: Al-Begain, Khalid, et al.
Publicat: (2020)

An Approach to Modelling Software Evolution Processes
per: Li, Tong
Publicat: (2020)

Design Requirements Engineering: A Ten-Year Perspective
Publicat: (2020)

Validated Designs for Object-oriented Systems
Publicat: (2020)

Pattern Recognition Using Neural and Functional Networks
per: David, Vasantha Kalyani, et al.
Publicat: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Publicat: (2020)

Transactions on Engineering Technologies
per: Ao, Sio-Iong, et al.
Publicat: (2020)

Optimization Methods, Theory and Applications
per: Xu, Honglei, et al.
Publicat: (2016)

Intuitive Probability and Random Processes using MATLAB®
per: Kay, Steven
Publicat: (2020)

Real-Time Object Uniform Design Methodology with UML
per: Duc, Bui Minh
Publicat: (2020)

Requirements Engineering: Foundation for Software Quality
Publicat: (2020)

From Requirements to Java in a Snap
per: Smialek, Michal, et al.
Publicat: (2015)

Fundamental Approaches to Software Engineering
per: Dwyer, Matthew B., et al.
Publicat: (2020)

Software Architecture Knowledge Management
Publicat: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems II
per: Noriega, Pablo, et al.
Publicat: (2020)

Software Engineering Approaches for Offshore and Outsourced Development
per: Meyer, Bertrand, et al.
Publicat: (2020)

Rapid Integration of Software Engineering Techniques
per: Guelfi, Nicolas, et al.
Publicat: (2020)

Making Globally Distributed Software Development a Success Story
per: Wang, Qing, et al.
Publicat: (2020)

Product-Focused Software Process Improvement
Publicat: (2020)

Categories for Software Engineering
Publicat: (2020)

Component-Based Software Engineering
Publicat: (2020)

Software Language Engineering
Publicat: (2020)

Trustworthy Global Computing
per: Nicola, Rocco De, et al.
Publicat: (2020)

Software Composition
per: Gschwind, Thomas, et al.
Publicat: (2020)

Reliable Systems on Unreliable Networked Platforms
per: Kordon, Fabrice, et al.
Publicat: (2020)

Runtime Verification
Publicat: (2020)

Transactions on Aspect-Oriented Software Development IV
per: Rashid, Awais, et al.
Publicat: (2020)

Applications of Graph Transformations with Industrial Relevance
Publicat: (2020)

Agent-Oriented Software Engineering IX
Publicat: (2020)