skip to content
Systems engineering and architecting : creating formal requirements Preview this item
ClosePreview this item
Checking...

Systems engineering and architecting : creating formal requirements

Author: Laurence Bellagamba
Publisher: Boca Raton, FL : CRC Press, ©2012.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
"Preface This book was written to take a step to fulfill a goal that George Friedman stated in his president's keynote address in 1994 at just the second meeting of the International Council on Systems Engineering. George asked his audience to provide a mathematical basis for doing systems engineering. Such a basis is now called formal requirements, which are explicit, executable instructions to do something that  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Bellagamba, Laurence.
Systems engineering and architecting.
boca Raton, FL : CRC Press, 2012
(DLC) 2012000515
(OCoLC)751834976
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Laurence Bellagamba
ISBN: 9781439881422 1439881421
OCLC Number: 789358044
Description: 1 online resource
Contents: Ch. 1. Motivation, objective, definitions, and approach --
ch. 2. Model systems and architecture behavior --
ch. 3. Make decisions --
ch. 4. Establish natural language requirements --
ch. 5. Improve an organization's ability to do systems engineering and architecting.
Responsibility: Laurence Bellagamba.
More information:

Abstract:

"Preface This book was written to take a step to fulfill a goal that George Friedman stated in his president's keynote address in 1994 at just the second meeting of the International Council on Systems Engineering. George asked his audience to provide a mathematical basis for doing systems engineering. Such a basis is now called formal requirements, which are explicit, executable instructions to do something that can be verified by logic or examination. Since George asked, substantial advances were gradually made in our ability to provide formal requirements for doing many aspects of software engineering and embedded systems. These successful efforts provide the insights needed to start the process for systems engineering. Also in the years since, the need to rationally control the interactions of families of systems has developed into a major concern. So we now need formal methods to do architecting as well. The book describes a set of formal methods and shows examples of their use. The actual formal requirements themselves are written in Mathematicaʼ and are available online. In retrospect, formulating the formal requirements is actually much easier than inventing how to accomplish systems engineering and architecting tasks in the first place. The job to make formal requirements is more illumination than invention, so embellishing and adding to the set of formal requirements are best done by many people rather than a few individuals. Therefore, all my colleagues are encouraged to get the set and recommend improvements or additions. My hope is that over time talented individuals will collectively achieve George's goal"--

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/789358044> # Systems engineering and architecting : creating formal requirements
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "789358044" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1101310874#Place/boca_raton_fl> ; # Boca Raton, FL
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/flu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1101310874#Topic/technology_&_engineering_engineering_general> ; # TECHNOLOGY & ENGINEERING--Engineering (General)
    schema:about <http://id.loc.gov/authorities/subjects/sh2007004792> ; # Requirements engineering
    schema:about <http://dewey.info/class/620.0042/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1101310874#Topic/technology_&_engineering_mechanical> ; # TECHNOLOGY & ENGINEERING--Mechanical
    schema:about <http://experiment.worldcat.org/entity/work/data/1101310874#Topic/systems_engineering_mathematics> ; # Systems engineering--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1101310874#Topic/technology_&_engineering_reference> ; # TECHNOLOGY & ENGINEERING--Reference
    schema:about <http://id.worldcat.org/fast/1743780> ; # Requirements engineering
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2012" ;
    schema:creator <http://viaf.org/viaf/232288986> ; # Laurence Bellagamba
    schema:datePublished "2012" ;
    schema:description ""Preface This book was written to take a step to fulfill a goal that George Friedman stated in his president's keynote address in 1994 at just the second meeting of the International Council on Systems Engineering. George asked his audience to provide a mathematical basis for doing systems engineering. Such a basis is now called formal requirements, which are explicit, executable instructions to do something that can be verified by logic or examination. Since George asked, substantial advances were gradually made in our ability to provide formal requirements for doing many aspects of software engineering and embedded systems. These successful efforts provide the insights needed to start the process for systems engineering. Also in the years since, the need to rationally control the interactions of families of systems has developed into a major concern. So we now need formal methods to do architecting as well. The book describes a set of formal methods and shows examples of their use. The actual formal requirements themselves are written in Mathematicaʼ and are available online. In retrospect, formulating the formal requirements is actually much easier than inventing how to accomplish systems engineering and architecting tasks in the first place. The job to make formal requirements is more illumination than invention, so embellishing and adding to the set of formal requirements are best done by many people rather than a few individuals. Therefore, all my colleagues are encouraged to get the set and recommend improvements or additions. My hope is that over time talented individuals will collectively achieve George's goal"--"@en ;
    schema:description "Ch. 1. Motivation, objective, definitions, and approach -- ch. 2. Model systems and architecture behavior -- ch. 3. Make decisions -- ch. 4. Establish natural language requirements -- ch. 5. Improve an organization's ability to do systems engineering and architecting."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1101310874> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/751834976> ;
    schema:name "Systems engineering and architecting : creating formal requirements"@en ;
    schema:productID "789358044" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/789358044#PublicationEvent/boca_raton_fl_crc_press_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1101310874#Agent/crc_press> ; # CRC Press
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1186552> ;
    schema:url <http://www.myilibrary.com?id=693347> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=449146> ;
    schema:url <http://site.ebrary.com/id/10551827> ;
    schema:url <http://www.crcnetbase.com/isbn/9781439881422> ;
    schema:workExample <http://worldcat.org/isbn/9781439881422> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/789358044> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1101310874#Place/boca_raton_fl> # Boca Raton, FL
    a schema:Place ;
    schema:name "Boca Raton, FL" ;
    .

<http://experiment.worldcat.org/entity/work/data/1101310874#Topic/technology_&_engineering_engineering_general> # TECHNOLOGY & ENGINEERING--Engineering (General)
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Engineering (General)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1101310874#Topic/technology_&_engineering_mechanical> # TECHNOLOGY & ENGINEERING--Mechanical
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Mechanical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1101310874#Topic/technology_&_engineering_reference> # TECHNOLOGY & ENGINEERING--Reference
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Reference"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2007004792> # Requirements engineering
    a schema:Intangible ;
    schema:name "Requirements engineering"@en ;
    .

<http://id.worldcat.org/fast/1743780> # Requirements engineering
    a schema:Intangible ;
    schema:name "Requirements engineering"@en ;
    .

<http://viaf.org/viaf/232288986> # Laurence Bellagamba
    a schema:Person ;
    schema:familyName "Bellagamba" ;
    schema:givenName "Laurence" ;
    schema:name "Laurence Bellagamba" ;
    .

<http://worldcat.org/isbn/9781439881422>
    a schema:ProductModel ;
    schema:isbn "1439881421" ;
    schema:isbn "9781439881422" ;
    .

<http://www.worldcat.org/oclc/751834976>
    a schema:CreativeWork ;
    rdfs:label "Systems engineering and architecting." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/789358044> ; # Systems engineering and architecting : creating formal requirements
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.