Validation, verification, and testing of computer software

WR Adrion, MA Branstad, JC Cherniavsky - ACM Computing Surveys …, 1982 - dl.acm.org
Software quahty is achieved through the apphcatlon of development techniques and the use
of verification procedures throughout the development process Careful consideratmn of …

[引用][C] Design rules, volume 1: The power of modularity

CY Baldwin - 2000 - books.google.com
We live in a dynamic economic and commerical world, surrounded by objects of remarkable
complexity and power. In many industries, changes in products and technologies have …

[图书][B] Introduction to software testing

P Ammann, J Offutt - 2017 - books.google.com
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

Structured analysis and system specification

T DeMarco - Software pioneers: contributions to software …, 2011 - Springer
Structured Analysis and System Specification Page 1 Original Historic Documents 529
Structured Analysis and System Specification Yourdon, New York, 7978 pp.7-7and37-44 M …

[图书][B] Fundamentals of software engineering

R Mall - 2018 - books.google.com
This new edition of the book, is restructured to trace the advancements made and landmarks
achieved in software engineering. The text not only incorporates latest and enhanced …

Software module clustering as a multi-objective search problem

M Harman, X Yao - IEEE Transactions on Software Engineering, 2010 - ieeexplore.ieee.org
Software module clustering is the problem of automatically organizing software units into
modules to improve program structure. There has been a great deal of recent interest in …

[图书][B] Come, let's play: scenario-based programming using LSCs and the play-engine

D Harel, R Marelly - 2003 - Springer
This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is
about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they …

A dataflow-driven approach to identifying microservices from monolithic applications

S Li, H Zhang, Z Jia, Z Li, C Zhang, J Li, Q Gao… - Journal of Systems and …, 2019 - Elsevier
Microservices architecture emphasizes employing multiple small-scale and independently
deployable microservices, rather than encapsulating all function capabilities into one …

Identifying and measuring quality in a software requirements specification

A Davis, S Overmyer, K Jordan… - [1993] Proceedings …, 1993 - ieeexplore.ieee.org
Numerous treatises exist that define appropriate qualities that should be exhibited by a well
written software requirements specification (SRS). In most cases these are vaguely defined …

[图书][B] Compiler construction

WM Waite, G Goos - 2012 - books.google.com
Compilers and operating systems constitute the basic interfaces between a programmer and
the machine for which he is developing software. In this book we are concerned with the …