Matches in Library of Congress for { <http://lccn.loc.gov/2010936711> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- 2010936711 contributor B12095368.
- 2010936711 created "c2010.".
- 2010936711 date "2010".
- 2010936711 date "c2010.".
- 2010936711 dateCopyrighted "c2010.".
- 2010936711 description "Includes bibliographical references (p. 227-239) and index.".
- 2010936711 description "Introduction -- Architecture frameworks, model-driven architecture, and simulation -- Unified Modeling Language -- Systems Modeling Language -- Verification, Validation, and accreditation -- Automatic approach for synergistic verification and validation -- Software engineering metrics in the context of systems engineering -- Verification and validation of UML behavioral diagrams -- Probabilistic model checking of SysML activity diagrams -- Performance analysis of time-constrained SysML activity diagrams -- Semantic foundation of SysML activity diagrams -- Soundness of the translation algorithm.".
- 2010936711 extent "xxvi, 248 p.".
- 2010936711 format "text/html".
- 2010936711 identifier "3642152279".
- 2010936711 identifier "9783642152276".
- 2010936711 identifier 04.
- 2010936711 identifier dokserv?id=3518844&prov=M&dok_var=1&dok_ext=htm.
- 2010936711 identifier 2010936711-d.html.
- 2010936711 identifier 2010936711-t.html.
- 2010936711 issued "2010".
- 2010936711 issued "c2010.".
- 2010936711 language "eng".
- 2010936711 publisher "Heidelberg ; New York : Springer,".
- 2010936711 subject "004.24 22".
- 2010936711 subject "Expert systems (Computer science) Validation.".
- 2010936711 subject "Expert systems (Computer science) Verification.".
- 2010936711 subject "Leistungsbewertung swd".
- 2010936711 subject "Programmanalyse swd".
- 2010936711 subject "QA76.76.E95 V47 2010".
- 2010936711 subject "Software Engineering swd".
- 2010936711 subject "Softwaremetrie swd".
- 2010936711 subject "SysML (Computer science)".
- 2010936711 subject "SysML swd".
- 2010936711 subject "Systementwicklung swd".
- 2010936711 subject "Systems engineering.".
- 2010936711 subject "UML (Computer science)".
- 2010936711 subject "UML swd".
- 2010936711 subject "Validierung swd".
- 2010936711 subject "Verifikation swd".
- 2010936711 tableOfContents "Introduction -- Architecture frameworks, model-driven architecture, and simulation -- Unified Modeling Language -- Systems Modeling Language -- Verification, Validation, and accreditation -- Automatic approach for synergistic verification and validation -- Software engineering metrics in the context of systems engineering -- Verification and validation of UML behavioral diagrams -- Probabilistic model checking of SysML activity diagrams -- Performance analysis of time-constrained SysML activity diagrams -- Semantic foundation of SysML activity diagrams -- Soundness of the translation algorithm.".
- 2010936711 title "Verification and validation in systems engineering : assessing UML/SysML design models / Mourad Debbabi ... [et al.]".
- 2010936711 type "text".