Model-Driven Testing

Model-Driven Testing

176 p.

Saved in:

書目詳細資料
主要作者:	Paul Baker, Zhen Ru Dai, Jens Grabowski, Øystein Haugen, Ina Schieferdecker, Clay Williams.
格式:	圖書
語言:	English
出版:	Springer 2017
主題:	Computer software 005.1
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/27213
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Vietnam National University, Hanoi
語言:	English

相似書籍

Model Driven Architecture - Foundations and Applications
由: Ina Schieferdecker, Alan Hartman.
出版: (2017)

Model Driven Engineering Languages and Systems
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz
出版: (2017)

Balancing Agility and Formalism in Software Engineering
出版: (2017)

Model-Based Software and Data Integration
由: Ralf-Detlef Kutsche, Nikola Milanovic.
出版: (2017)

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
出版: (2017)

Software and Data Technologies
出版: (2017)

Object-Oriented Technology. ECOOP 2007 Workshop Reader
出版: (2017)

Frontiers in Algorithmics
出版: (2017)

Automatic Program Development
出版: (2017)

A Concise Introduction to Software Engineering
由: Jalote, Pankaj Jalote, Pankaj
出版: (2017)

Engineering Interactive Systems 2008
出版: (2017)

Leveraging Applications of Formal Methods, Verification and Validation
由: Tiziana Margaria, Bernhard Steffen
出版: (2017)

Software Process and Product Measurement
出版: (2017)

Algebraic Methodology and Software Technology
出版: (2017)

Software Evolution
出版: (2017)

High Confidence Software Reuse in Large Systems
出版: (2017)

Recent Advances in Constraints
出版: (2017)

Architecting Dependable Systems V
出版: (2017)

Guide to Advanced Empirical Software Engineering
由: Forrest Shull, Janice Singer, Dag I. K. Sjøberg
出版: (2017)

Component-Based Software Engineering
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner.
出版: (2017)

Web Reasoning and Rule Systems
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Diego Calvanese, Georg Lausen.
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
出版: (2017)

Requirements Engineering: Foundation for Software Quality
由: Barbara Paech, Colette Rolland.
出版: (2017)

Software Process and Product Measurement
出版: (2017)

Agile Software Engineering
由: Hazzan, Orit, et al.
出版: (2017)

Agent-Oriented Software Engineering VIII
出版: (2017)

Beginning DB2
由: Allen, Grant
出版: (2017)

PHP Object-Oriented Solutions
由: Powers, David
出版: (2017)

Pro JavaScript Design Patterns
由: Harmes, Ross, et al.
出版: (2017)

Verified Software: Theories, Tools, Experiments
由: Bertrand Meyer, Jim Woodcock.
出版: (2017)

Software-Intensive Systems and New Computing Paradigms
出版: (2017)

Objects, Components, Models and Patterns
由: Will Aalst, John Mylopoulos, Norman M. Sadeh, Michael J. Shaw, Clemens Szyperski, Richard F. Paige, Bertrand Meyer.
出版: (2017)

Algorithmic Aspects in Information and Management
出版: (2017)

Advances in Software Engineering
出版: (2017)

Formal Methods and Testing
出版: (2017)

Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
出版: (2017)

Algorithms and Models for the Web-Graph
出版: (2017)

More Joel on Software
由: Spolsky, Avram Joel
出版: (2017)

The Art of Artificial Evolution
出版: (2017)