Leveraging applications of formal methods, verification and validation. modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part I : (2018)

• Record Type: Book
• Other Titles: ISoLA 2018
• Further Information: Note: Tiziana Margaria, Bernhard Steffen (eds.).
• Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
• Other Names: ISoLA (Symposium), 8th
• Contents: Towards a Unified View of Modeling and Programming - ISoLA 2018 Track Introduction.- On Modeling and Programming.- Definition of Modeling vs. Programming Languages.- A Non-unified View of Modelling, Specification and Programming.- Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code.- Why Programming Must Be Supported by Modeling and How.- On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification.- Type Theory as a Framework for Modelling and Programming.- Bringing Effortless Refinement of Data Layouts to Cogent.- Programming Is Modeling.- Programming language specification and implementation.- Modeling with Scala.- This is not a model.- A Unified Approach for Modeling, Developing, and Assuring Critical Systems.- Towards Interactive Compilation Models.- From Computational Thinking to Constructive Design with Simple Models.- Design Languages: A Necessary New Generation of Computer Languages.- From Modeling to Model-based Programming.- Fusing Modeling and Programming into Language-Oriented Programming.- On the Difficulty of Drawing the Line.- X-by-Construction - Track Introduction.- (Some) security by construction through a LangSec approach.- Program Correctness by Transformation.- Design 4 X through Model Transformation.- Modelling by Patterns for Correct-by-Construction Process.- Modular, Correct Compilation with Automatic Soundness Proofs.- Deployment by Construction for Multicore Architectures.- Towards Software Performance by Construction.- Is Privacy by Construction Possible?.- X-by-C: Non-Functional Security.- Towards Confidentiality-by-Construction.- A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO.- Model-based Development for High-Assurance Embedded Systems.- DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.- Tutorial: an Overview of Malware Detection and Evasion Techniques.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xv, 588 pages), illustrations (some color)
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Robots -- Programming -- Congresses; Machine learning -- Congresses; Computer software -- Verification -- Congresses; Computers -- Programming Languages -- General; Computers -- Computer Science; Computers -- Hardware -- General; Computers -- General; Programming & scripting languages: general; Program concepts / learning to program; Computer science; Computer networking & communications; Information technology: general issues; Software engineering; Electronic data processing; Information theory; Computer network architectures; Computer industry; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783030034184; 3030034186
• Related ISBNs: 9783030034177
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed October 31, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.