Business Standard Compliance and Requirements Validation Using Goal Models

QR-koodi

Business Standard Compliance and Requirements Validation Using Goal Models

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Deb, Novarun, Chaki, Nabendu
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Springer Singapore 2020
Aiheet:	Engineering Mathematical and Computational Engineering Software Engineering/Programming and Operating Systems Mathematical Software
Linkit:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90615
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

Requirements Engineering: Foundation for Software Quality
Tekijä: Paech, Barbara, et al.
Julkaistu: (2020)

Requirements Engineering: Foundation for Software Quality
Tekijä: Sawyer, Pete, et al.
Julkaistu: (2020)

Model Checking Software
Tekijä: Godefroid, Patrick
Julkaistu: (2020)

Models in Software Engineering
Tekijä: Kühne, Thomas
Julkaistu: (2020)

Model Checking Software
Tekijä: Bosnacki, Dragan, et al.
Julkaistu: (2020)

Software Verification and Validation
Tekijä: Fisher, Marcus S.
Julkaistu: (2020)

Model-Driven Software Development
Tekijä: Beydeda, Sami, et al.
Julkaistu: (2020)

The Common Component Modeling Example
Julkaistu: (2020)

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

Objects, Components, Models and Patterns
Tekijä: Paige, Richard F., et al.
Julkaistu: (2020)

Model Driven Engineering and Ontology Development
Julkaistu: (2020)

Analytical and Stochastic Modeling Techniques and Applications
Tekijä: Al-Begain, Khalid, et al.
Julkaistu: (2020)

An Approach to Modelling Software Evolution Processes
Tekijä: Li, Tong
Julkaistu: (2020)

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

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

Pattern Recognition Using Neural and Functional Networks
Tekijä: David, Vasantha Kalyani, et al.
Julkaistu: (2020)

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

Transactions on Engineering Technologies
Tekijä: Ao, Sio-Iong, et al.
Julkaistu: (2020)

Optimization Methods, Theory and Applications
Tekijä: Xu, Honglei, et al.
Julkaistu: (2016)

Intuitive Probability and Random Processes using MATLAB®
Tekijä: Kay, Steven
Julkaistu: (2020)

Real-Time Object Uniform Design Methodology with UML
Tekijä: Duc, Bui Minh
Julkaistu: (2020)

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

From Requirements to Java in a Snap
Tekijä: Smialek, Michal, et al.
Julkaistu: (2015)

Fundamental Approaches to Software Engineering
Tekijä: Dwyer, Matthew B., et al.
Julkaistu: (2020)

Software Architecture Knowledge Management
Julkaistu: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems II
Tekijä: Noriega, Pablo, et al.
Julkaistu: (2020)

Software Engineering Approaches for Offshore and Outsourced Development
Tekijä: Meyer, Bertrand, et al.
Julkaistu: (2020)

Rapid Integration of Software Engineering Techniques
Tekijä: Guelfi, Nicolas, et al.
Julkaistu: (2020)

Making Globally Distributed Software Development a Success Story
Tekijä: Wang, Qing, et al.
Julkaistu: (2020)

Product-Focused Software Process Improvement
Julkaistu: (2020)

Categories for Software Engineering
Julkaistu: (2020)

Component-Based Software Engineering
Julkaistu: (2020)

Software Language Engineering
Julkaistu: (2020)

Trustworthy Global Computing
Tekijä: Nicola, Rocco De, et al.
Julkaistu: (2020)

Software Composition
Tekijä: Gschwind, Thomas, et al.
Julkaistu: (2020)

Reliable Systems on Unreliable Networked Platforms
Tekijä: Kordon, Fabrice, et al.
Julkaistu: (2020)

Runtime Verification
Julkaistu: (2020)

Transactions on Aspect-Oriented Software Development IV
Tekijä: Rashid, Awais, et al.
Julkaistu: (2020)

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

Agent-Oriented Software Engineering IX
Julkaistu: (2020)