TypeScript is a language for application-scale JavaScript. TypeScript adds optional types, classes, and modules to JavaScript. TypeScript supports tools for …
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals …
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held …
Requirements engineering is the process of eliciting individual stakeholder requirements and needs and developing them into detailed, agreed requirements documented …
This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive systems, avionics, nuclear …
Software Requirements: Encapsulation, Quality, and Reuse describes how to make requirements, and their implementing code, easier to change through the …
Business managers often find it impossible to communicate business objectives and specify their software requirements to technical members of staff. …
The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its …
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS …
Issues (Editions)YearIssue2020Volume: 3212-34-6Volume: ??????2019Volume: 31123456Volume: ??????2018Volume: 3112Volume: 30123-4562017Volume: 30125Volume: 291234562016Volume: 29123Volume: 281234562015Volume: 2812Volume: 272345-62014Volume: 271234Volume: 2623562013Volume: 26123456Volume: 2532012Volume: 26123Volume: 251356Volume: …
Issues (Editions)YearIssue2021Volume: ??????2020Volume: 561-3Volume: 553Volume: ??????2019Volume: 5512Volume: 54123Volume: ??????2018Volume: 5412Volume: 53123Volume: 521232017Volume: 5512Volume: 53123Volume: 52123Volume: 51123Volume: 5012-32016Volume: 502-3Volume: 491-23Volume: 481-232015Volume: …
