001440885 000__ 04561cam\a2200553\a\4500
001440885 001__ 1440885
001440885 003__ OCoLC
001440885 005__ 20230309004707.0
001440885 006__ m\\\\\o\\d\\\\\\\\
001440885 007__ cr\un\nnnunnun
001440885 008__ 211113s2021\\\\sz\\\\\\ob\\\\000\0\eng\d
001440885 019__ $$a1285162430$$a1285239724$$a1285254630$$a1285273920$$a1289321438$$a1290593813$$a1292517959$$a1294355935
001440885 020__ $$a9783030734848$$q(electronic bk.)
001440885 020__ $$a3030734846$$q(electronic bk.)
001440885 020__ $$z3030734838$$q(print)
001440885 020__ $$z9783030734831$$q(print)
001440885 0247_ $$a10.1007/978-3-030-73484-8$$2doi
001440885 035__ $$aSP(OCoLC)1285171602
001440885 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dOCLCO$$dN$T$$dBRX$$dVT2$$dUX1$$dDKU$$dOCLCO$$dDCT$$dOCLCQ$$dCOM$$dOCLCO$$dUKAHL$$dOCLCQ
001440885 049__ $$aISEA
001440885 050_4 $$aQA76.76.D47
001440885 08204 $$a005.1$$223
001440885 1001_ $$aBjørner, D.$$q(Dines),$$d1937-
001440885 24510 $$aDomain science and engineering :$$ba foundation for software development /$$cDines Bjørner.
001440885 260__ $$aCham, Switzerland :$$bSpringer,$$c2021.
001440885 300__ $$a1 online resource (403 pages)
001440885 336__ $$atext$$btxt$$2rdacontent
001440885 337__ $$acomputer$$bc$$2rdamedia
001440885 338__ $$aonline resource$$bcr$$2rdacarrier
001440885 347__ $$atext file
001440885 347__ $$bPDF
001440885 4901_ $$aMonographs in theoretical computer science
001440885 504__ $$aIncludes bibliographical references.
001440885 5050_ $$aPart I, Setting the Scope -- Concepts -- Philosophy -- Space, Time and Matter -- Logic and Mathematics -- Part II, Domains -- Domains: A Taxonomy: External Qualities -- Domains: An Ontology: Internal Qualities -- Transcendental Deduction -- Domains: A Dynamics Ontology: Perdurants -- Domain Facets -- Part III, Requirements -- Requirements -- Part IV, Closing -- Demos, Simulators, Monitors and Controllers -- Winding Up -- References -- Appendix A: Pipelines Domain: Endurants -- Appendix B: Mereology, A Model -- Appendix C: Four Languages -- Appendix D: An RSL Primer -- Appendix E: Indexes -- List of Figures.
001440885 506__ $$aAccess limited to authorized users.
001440885 520__ $$aIn this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities. The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptions as formal, mathematical quantities. This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph. The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes.
001440885 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 22, 2021).
001440885 650_0 $$aComputer software$$xDevelopment.
001440885 650_0 $$aSoftware engineering.
001440885 650_6 $$aGénie logiciel.
001440885 655_0 $$aElectronic books.
001440885 77608 $$iPrint version:$$aBjørner, Dines.$$tDomain Science and Engineering.$$dCham : Springer International Publishing AG, ©2021$$z9783030734831
001440885 830_0 $$aMonographs in theoretical computer science.
001440885 852__ $$bebk
001440885 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-73484-8$$zOnline Access$$91397441.1
001440885 909CO $$ooai:library.usi.edu:1440885$$pGLOBAL_SET
001440885 980__ $$aBIB
001440885 980__ $$aEBOOK
001440885 982__ $$aEbook
001440885 983__ $$aOnline
001440885 994__ $$a92$$bISE