Standardized Development of Computer Software: Methods
Author : Robert C. Tausworthe
Publisher :
Page : 396 pages
File Size : 33,28 MB
Release : 1976
Category : Computer programming
ISBN :
Author : Robert C. Tausworthe
Publisher :
Page : 396 pages
File Size : 33,28 MB
Release : 1976
Category : Computer programming
ISBN :
Author :
Publisher :
Page : 836 pages
File Size : 42,37 MB
Release : 1994
Category : Aeronautics
ISBN :
Author : United States. National Aeronautics and Space Administration
Publisher :
Page : 180 pages
File Size : 38,10 MB
Release : 1980
Category :
ISBN :
Author :
Publisher :
Page : 730 pages
File Size : 19,42 MB
Release : 1975
Category : Industrial engineering
ISBN :
Author : Jolita Ralyté
Publisher : Springer Science & Business Media
Page : 381 pages
File Size : 11,19 MB
Release : 2007-09-10
Category : Computers
ISBN : 0387739467
Over the last decade, Method Engineering, defined as the engineering discipline to design, construct and adapt methods, including supportive tools, has emerged as the research and application area for using methods for systems development. This book contains the papers from the IFIP Working Group 8.1 conference on Situational Method Engineering.
Author :
Publisher :
Page : 1724 pages
File Size : 37,12 MB
Release : 1977
Category : Government publications
ISBN :
Author : R.R. Bowker Company
Publisher : New York : Bowker
Page : 1126 pages
File Size : 22,69 MB
Release : 1984
Category : Computers
ISBN : 9780835219310
Provides Listings of Hardware, Software & Peripherals Currently Available, as Well as Books, Magazines, Clubs, User Groups & Virtually All Other Microcomputer-related Services. Includes Background Information & Glossary
Author :
Publisher :
Page : 1746 pages
File Size : 15,59 MB
Release : 1977
Category : Government publications
ISBN :
Author : Jim Woodcock
Publisher : Springer Science & Business Media
Page : 712 pages
File Size : 20,40 MB
Release : 1993
Category : Business & Economics
ISBN : 9783540566625
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.
Author : Phillip A. Laplante
Publisher : CRC Press
Page : 1441 pages
File Size : 30,97 MB
Release : 2010-11-22
Category : Computers
ISBN : 1351249266
Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) [email protected] International: (Tel) +44 (0) 20 7017 6062; (E-mail) [email protected]