Business Standard Compliance and Requirements Validation Using Goal Models

QR Kod

Business Standard Compliance and Requirements Validation Using Goal Models

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Deb, Novarun, Chaki, Nabendu
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Singapore 2020
Konular:	Engineering Mathematical and Computational Engineering Software Engineering/Programming and Operating Systems Mathematical Software
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90615
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Requirements Engineering: Foundation for Software Quality
Yazar:: Paech, Barbara, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Requirements Engineering: Foundation for Software Quality
Yazar:: Sawyer, Pete, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Yazar:: Godefroid, Patrick
Baskı/Yayın Bilgisi: (2020)

Models in Software Engineering
Yazar:: Kühne, Thomas
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Yazar:: Bosnacki, Dragan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Verification and Validation
Yazar:: Fisher, Marcus S.
Baskı/Yayın Bilgisi: (2020)

Model-Driven Software Development
Yazar:: Beydeda, Sami, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

The Common Component Modeling Example
Baskı/Yayın Bilgisi: (2020)

Objects, Components, Models and Patterns
Baskı/Yayın Bilgisi: (2020)

Objects, Components, Models and Patterns
Yazar:: Paige, Richard F., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Driven Engineering and Ontology Development
Baskı/Yayın Bilgisi: (2020)

Analytical and Stochastic Modeling Techniques and Applications
Yazar:: Al-Begain, Khalid, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

An Approach to Modelling Software Evolution Processes
Yazar:: Li, Tong
Baskı/Yayın Bilgisi: (2020)

Design Requirements Engineering: A Ten-Year Perspective
Baskı/Yayın Bilgisi: (2020)

Validated Designs for Object-oriented Systems
Baskı/Yayın Bilgisi: (2020)

Pattern Recognition Using Neural and Functional Networks
Yazar:: David, Vasantha Kalyani, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Baskı/Yayın Bilgisi: (2020)

Transactions on Engineering Technologies
Yazar:: Ao, Sio-Iong, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Optimization Methods, Theory and Applications
Yazar:: Xu, Honglei, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Intuitive Probability and Random Processes using MATLAB®
Yazar:: Kay, Steven
Baskı/Yayın Bilgisi: (2020)

Real-Time Object Uniform Design Methodology with UML
Yazar:: Duc, Bui Minh
Baskı/Yayın Bilgisi: (2020)

Requirements Engineering: Foundation for Software Quality
Baskı/Yayın Bilgisi: (2020)

From Requirements to Java in a Snap
Yazar:: Smialek, Michal, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Fundamental Approaches to Software Engineering
Yazar:: Dwyer, Matthew B., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Architecture Knowledge Management
Baskı/Yayın Bilgisi: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems II
Yazar:: Noriega, Pablo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering Approaches for Offshore and Outsourced Development
Yazar:: Meyer, Bertrand, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Rapid Integration of Software Engineering Techniques
Yazar:: Guelfi, Nicolas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Making Globally Distributed Software Development a Success Story
Yazar:: Wang, Qing, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Product-Focused Software Process Improvement
Baskı/Yayın Bilgisi: (2020)

Categories for Software Engineering
Baskı/Yayın Bilgisi: (2020)

Component-Based Software Engineering
Baskı/Yayın Bilgisi: (2020)

Software Language Engineering
Baskı/Yayın Bilgisi: (2020)

Trustworthy Global Computing
Yazar:: Nicola, Rocco De, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Composition
Yazar:: Gschwind, Thomas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Reliable Systems on Unreliable Networked Platforms
Yazar:: Kordon, Fabrice, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Runtime Verification
Baskı/Yayın Bilgisi: (2020)

Transactions on Aspect-Oriented Software Development IV
Yazar:: Rashid, Awais, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Applications of Graph Transformations with Industrial Relevance
Baskı/Yayın Bilgisi: (2020)

Agent-Oriented Software Engineering IX
Baskı/Yayın Bilgisi: (2020)