000838298 000__ 03402cam\a2200469Ii\4500 000838298 001__ 838298 000838298 005__ 20230306144533.0 000838298 006__ m\\\\\o\\d\\\\\\\\ 000838298 007__ cr\un\nnnunnun 000838298 008__ 171114s2017\\\\sz\a\\\\ob\\\\000\0\eng\d 000838298 019__ $$a1011613264$$a1017825478$$a1017936893$$a1032271476 000838298 020__ $$a9783319674254$$q(electronic book) 000838298 020__ $$a3319674250$$q(electronic book) 000838298 020__ $$z9783319674247 000838298 020__ $$z3319674242 000838298 0247_ $$a10.1007/978-3-319-67425-4$$2doi 000838298 035__ $$aSP(OCoLC)on1011508221 000838298 035__ $$aSP(OCoLC)1011508221$$z(OCoLC)1011613264$$z(OCoLC)1017825478$$z(OCoLC)1017936893$$z(OCoLC)1032271476 000838298 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dN$T$$dOCLCF$$dAZU$$dUPM$$dIOG$$dUAB$$dMERER$$dCOO$$dOCLCQ$$dU3W$$dCAUOI$$dOCLCQ 000838298 049__ $$aISEA 000838298 050_4 $$aQA76.758 000838298 08204 $$a005.1$$223 000838298 24500 $$aPresent and ulterior software engineering /$$cManuel Mazzara, Bertrand Meyer, editors. 000838298 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017. 000838298 300__ $$a1 online resource (viii, 225 pages) :$$billustrations (some color) 000838298 336__ $$atext$$btxt$$2rdacontent 000838298 337__ $$acomputer$$bc$$2rdamedia 000838298 338__ $$aonline resource$$bcr$$2rdacarrier 000838298 347__ $$atext file$$bPDF$$2rda 000838298 504__ $$aIncludes bibliographical references. 000838298 5050_ $$aEngineering by Software: System Behaviours as Components -- What is a Procedure? -- The Evolution and Ecosystem of the Unified Modeling Language -- A Theory of Networking and its contributions to Software Engineering -- On Language Interfaces -- Moldable Tools for Object-oriented Development -- The Changing Face of Model-Driven Engineering -- Borealis Bounded Model Checker: the Coming of Age Story -- How to make visual modeling more attractive to software developers.- Intrinsic Redundancy for Reliability and Beyond -- Sound Simulation and Co-simulation of Mobile and Autonomous Robots -- Microservices: yesterday, today, and tomorrow -- Microservices: A Language-based Approach. 000838298 506__ $$aAccess limited to authorized users. 000838298 520__ $$aThis book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation. The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering. It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development. 000838298 588__ $$aOnline resource; title from PDF title page (viewed November 22, 2017). 000838298 650_0 $$aSoftware engineering. 000838298 7001_ $$aMazzara, Manuel,$$eeditor. 000838298 7001_ $$aMeyer, Bertrand,$$d1950-$$eeditor. 000838298 77608 $$iPrint version:$$z9783319674247 000838298 852__ $$bebk 000838298 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-67425-4$$zOnline Access$$91397441.1 000838298 909CO $$ooai:library.usi.edu:838298$$pGLOBAL_SET 000838298 980__ $$aEBOOK 000838298 980__ $$aBIB 000838298 982__ $$aEbook 000838298 983__ $$aOnline 000838298 994__ $$a92$$bISE