出版年:1998-9 页数:442 定价:$ 101.64 ISBN:9780387984308 豆瓣评分 目前无人评价 评价: 写笔记 写书评 加入购书单 分享到 内容简介· ··· This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major...
This is the second edition of the textbook in which most of the concepts introduced in the first edition are extended and updated, and a significant amount of new material has been added. While preserving the original intent of focusing on software specification, this edition emphasizes the ...
Software Engineering, vol 2: Specification of Systems and Languages The present volume is the second one of a trilogy on formal development of large scale systems. It supplements theion and modelling tools covered in Volume 1 with some additional ones and mainly focuses on formal specification of...
Specification of Software Systems V. S. Alagar & K. Periyasamy Part of the book series: Texts in Computer Science ((TCS)) 2371 Accesses Abstract The process model introduced in Chap. 2 integrates the practice of formal method into all phases of life-cycle activities. Given the current ...
Reasoning about software systems developed using components begins with component-level specifications, from which system-level specifications are derived. While sound compositional reasoning is a strength of formal specification methods, practical experience with systems construction leads us to expect ...
E Knauss,CE Boustani,T Flohr - Product-focused Software Process Improvement, International Conference, Profes, Oulu, Finland, June 被引量: 18发表: 2009年 Software Quality Attributes Much of a software architect's life is spent designing software systems to meet a set of quality attribute requirem...
Specifying and analyzing timing properties is a critical but error-prone aspect of developing many modern software systems. In this paper, we propose a new specification language and analysis framework for expressing and analyzing timing behaviors of complex software systems. Our framework has the follo...
This module introduces methods for the formal specification of programs and large software systems, and reviews the domains of application of these methods. Its emphasis is on the functional properties of software. It does not deal with the specification of programming languages, the specification of...
Examination confirmed that the quality of the products was up tospecification. 经检查,产品质量[品质]合格. 《现代汉英综合大词典》 Requirementspecificationfault is one kind of software design faults. 需求规范错误是软件设计错误的一大类. 期刊摘选 ...
Use case diagram – For a small systems, a single diagram can be used to depict all the use cases in the system. List of actors and their details – This identifies the various types of users interacting with the software system.