|
Showing 1 - 6 of
6 matches in All Departments
Formal Methods for Open Object-Based Distributed Systems presents
the leading edge in several related fields, specifically
object-orientated programming, open distributed systems and formal
methods for object-oriented systems. With increased support within
industry regarding these areas, this book captures the most
up-to-date information on the subject. Many topics are discussed,
including the following important areas: object-oriented design and
programming; formal specification of distributed systems; open
distributed platforms; types, interfaces and behaviour;
formalisation of object-oriented methods. This volume comprises the
proceedings of the International Workshop on Formal Methods for
Open Object-based Distributed Systems (FMOODS), sponsored by the
International Federation for Information Processing (IFIP) which
was held in Florence, Italy, in February 1999. Formal Methods for
Open Object-Based Distributed Systems is suitable as a secondary
text for graduate-level courses in computer science and
telecommunications, and as a reference for researchers and
practitioners in industry, commerce and government.
The aim of the FMICS workshop series is to provide a forum for
researchers who are interested in the development and application
of formal methods in industry. In particular, these workshops are
intended to bring together scientists and practitioners who are
active in the area of formal methods and interested in exchanging
their experiences in the industrial usage of these methods. These
workshopsalso striveto promoteresearchand developmentfor the
improvement of formal methods and tools for industrial
applications. The topics for which contributions to FMICS 2008 were
solicited included, but were not restricted to, the following: -
Design, speci?cation, code generation and testing based on formal
methods - Veri?cation and validation of complex, distributed,
real-time systems and embedded systems - Veri?cation and validation
methods that address shortcomings of existing methods with respect
to their industrial applicability (e. g. , scalability and
usability issues) - Tools for the development of formal design
descriptions - Case studies and experience reports on industrial
applications of formal methods, focusing on lessons learned or
identi?cation of new research - rections - Impact of the adoption
of formal methods on the development process and associated costs -
Application of formal methods in standardization and industrial
forums The workshop included six sessions of regular contributions
in the areas of model checking, testing, software veri?cation,
real-time performance, and ind- trial case studies. There were also
three invited presentations, given by Steven Miller,Rance
Cleaveland,and Werner Damm, coveringthe applicationof formal
methods in the avionics and automotive industries.
Formal Methods for Open Object-Based Distributed Systems presents
the leading edge in several related fields, specifically
object-orientated programming, open distributed systems and formal
methods for object-oriented systems. With increased support within
industry regarding these areas, this book captures the most
up-to-date information on the subject. Many topics are discussed,
including the following important areas: object-oriented design and
programming; formal specification of distributed systems; open
distributed platforms; types, interfaces and behaviour;
formalisation of object-oriented methods. This volume comprises the
proceedings of the International Workshop on Formal Methods for
Open Object-based Distributed Systems (FMOODS), sponsored by the
International Federation for Information Processing (IFIP) which
was held in Florence, Italy, in February 1999. Formal Methods for
Open Object-Based Distributed Systems is suitable as a secondary
text for graduate-level courses in computer science and
telecommunications, and as a reference for researchers and
practitioners in industry, commerce and government.
This volume was published in honor of Stefania Gnesi's 65th
birthday. The Festschrift volume contains 32 papers written by
close collaborators and friends of Stefania and was presented to
her on October 8, 2019 one-day colloquium held in Porto, Portugal,
The Festschrift consists of eight sections, seven of which reflect
the main research areas to which Stefania has contributed.
Following a survey of Stefania's legacy in research and a homage by
her thesis supervisor, these seven sections are ordered according
to Stefania's life cycle in research, from software engineering to
formal methods and tools, and back: Software Engineering; Formal
Methods and Tools; Requirements Engineering; Natural Language
Processing; Software Product Lines; Formal Verification; and
Applications.
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings (Paperback, 1st ed. 2017)
Alessandro Fantechi, Thierry LeComte, Alexander Romanovsky
|
R2,380
Discovery Miles 23 800
|
Ships in 10 - 15 working days
|
This volume constitutes the proceedings of the Second International
Conference on Reliability, Safety and Security of Railway Systems,
RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16
papers presented in this volume were carefully reviewed and
selected from 34 submissions. They are organized in topical
sections named: communication challenges in railway systems; formal
modeling and verification for safety; light rail and urban transit;
and engineering techniques and standards. The book also contains
one keynote talk in full-paper length.
This book constitutes the refereed proceedings of the 7th
International Workshop on Software Engineering for Resilient
Systems, SERENE 2015, held in Paris, France, in September 2015. The
10 revised technical papers presented were carefully reviewed and
selected from 18 submissions. The papers are organized in topical
sections on development of resilient systems, verification,
validation and evaluation of resilience, case studies and
applications.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|