Verwandte Artikel zu Leveraging Applications of Formal Methods, Verification,...
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II: 6416 (Lecture Notes in Computer Science) - Softcover
Reseña del editor
This volume contains the conference proceedings of the 4th International S- posium on Leveraging Applications of Formal Methods, Veri?cation and Vali- tion, ISoLA 2010, which was held in Greece (Heraklion, Crete) October 18-21, 2010, and sponsored by EASST. Following the tradition of its forerunners in 2004, 2006, and 2008 in Cyprus and Chalchidiki, and the ISoLA Workshops in Greenbelt (USA) in 2005, in Poitiers (France) in 2007, and in Potsdam (Germany) in 2009, ISoLA 2010 p- vided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the speci?cation, ana- sis, veri?cation, certi?cation, construction, testing, and maintenance of systems from the point of view of their di?erent application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In particular, by providing a venue for the discussion of c- mon problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, ?exibility, and e?ciency of tools for building systems, and users in their search for adequate solutions to their problems.
Reseña del editor
This two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and verifying complex embedded systems, worst-case traversal time (WCTT), tools in scientific workflow composition, emerging services and technologies for a converging telecommunications/Web world in smart environments of the internet of things, Web science, model transformation and analysis for industrial scale validation, and learning techniques for software verification and validation. The second volume presents 54 papers addressing the following topics: EternalS: mission and roadmap, formal methods in model-driven development for service-oriented and cloud computing, quantitative verification in practice, CONNECT: status and plans, certification of software-driven medical devices, modeling and formalizing industrial software for verification, validation and certification, and resource and timing analysis.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Erscheinungsdatum2010
- ISBN 10 3642165605
- ISBN 13 9783642165603
- EinbandTapa blanda
- Anzahl der Seiten498
- HerausgeberMargaria Tiziana, Steffen Bernhard
Gebraucht kaufen
Zustand: Sehr gutZustand: Sehr gut - Neubindung,... Mehr zu diesem Angebot erfahren
EUR 54,55
Versand:
EUR 45,00
Von Deutschland nach USA
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 67,71
Versand:
EUR 48,99
Von Deutschland nach USA
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht eingerissen, Part 2 | Seiten: 498 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 9526513/12
Anzahl: 1 verfügbar
Foto des Verkäufers
Leveraging Applications of Formal Methods, Verification, and Validation
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. EternalS: Mission and Roadmap.- to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge.- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.- SecureChange: Security Engineering for Lifelong Evolvable S. Artikel-Nr. 5051189
Anzahl: 3 verfügbar