Business Standard Compliance and Requirements Validation Using Goal Models

Côd QR

Business Standard Compliance and Requirements Validation Using Goal Models

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Deb, Novarun, Chaki, Nabendu
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer Singapore 2020
Pynciau:	Engineering Mathematical and Computational Engineering Software Engineering/Programming and Operating Systems Mathematical Software
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90615
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

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

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

Model Checking Software
gan: Godefroid, Patrick
Cyhoeddwyd: (2020)

Models in Software Engineering
gan: Kühne, Thomas
Cyhoeddwyd: (2020)

Model Checking Software
gan: Bosnacki, Dragan, et al.
Cyhoeddwyd: (2020)

Software Verification and Validation
gan: Fisher, Marcus S.
Cyhoeddwyd: (2020)

Model-Driven Software Development
gan: Beydeda, Sami, et al.
Cyhoeddwyd: (2020)

The Common Component Modeling Example
Cyhoeddwyd: (2020)

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

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

Model Driven Engineering and Ontology Development
Cyhoeddwyd: (2020)

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

An Approach to Modelling Software Evolution Processes
gan: Li, Tong
Cyhoeddwyd: (2020)

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

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

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

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

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

Optimization Methods, Theory and Applications
gan: Xu, Honglei, et al.
Cyhoeddwyd: (2016)

Intuitive Probability and Random Processes using MATLAB®
gan: Kay, Steven
Cyhoeddwyd: (2020)

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

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

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

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

Software Architecture Knowledge Management
Cyhoeddwyd: (2020)

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

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

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

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

Product-Focused Software Process Improvement
Cyhoeddwyd: (2020)

Categories for Software Engineering
Cyhoeddwyd: (2020)

Component-Based Software Engineering
Cyhoeddwyd: (2020)

Software Language Engineering
Cyhoeddwyd: (2020)

Trustworthy Global Computing
gan: Nicola, Rocco De, et al.
Cyhoeddwyd: (2020)

Software Composition
gan: Gschwind, Thomas, et al.
Cyhoeddwyd: (2020)

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

Runtime Verification
Cyhoeddwyd: (2020)

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

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

Agent-Oriented Software Engineering IX
Cyhoeddwyd: (2020)