Michael G. Hinchey

Learn More
The Software Engineering Institute (SEI) defines an SPL as a set of software-intensive systems that share a common, managed set of features satisfying the specific needs of a particular market segment or mission. A fundamental principle of SPLs is variability management, which involves separating the product line into three parts - common components, parts(More)
inside the system-development Today five years and many successful / trayal of formal methods does little to applications later-formal methods rehelp the situation. In many “popular cozwnunhy. The authors address main one of the most contentious areas press” science journals, formal methods of software-engineering practice. are subjected to either deep(More)
0018-9162/06/$20.00 © 2006 IEEE 40 Computer P u b l i s h e d b y t h e I E E E C o m p u t e r S o c i e t y Real engineers use mathematics. Formal methods are the mathematics of software engineering. Therefore, software engineers should use formal methods. Yet even with this elegant simplicity, most projects hold formal methods at arm’s length unless they(More)
Read more and get great! That's what the book enPDFd concurrent systems formal development in csp will give for every reader to read this book. This is an on-line book provided in this website. Even this book becomes a choice of someone to read, many in the world also loves it so much. As what we talk, when you read more every page of this concurrent(More)
In order to demonstrate the correctness of a system, developers today must resort to either exhaustive testing or some combination of testing and formal verification following the use of appropriate methods in the development process. While formal methods have afforded numerous successes, their application today presents serious issues, e.g., costs to gear(More)
Many research have focused on new formal methods, integrating formal methods into agile ones, and assessing the agility of formal methods. This paper proves that formal methods can survive in an agile world; they are not obsolete and can be integrated into it. The potential for combining agile and formal methods holds promise. It might not always be an easy(More)
The field of Software Product Lines (SPL) emphasizes building a family of software products from which concrete products can be derived rapidly. This helps to reduce time-to-market, costs, etc., and can result in improved software quality and safety. Current Agent-Oriented Software Engineering (AOSE) methodologies are concerned with developing a single(More)