|
Showing 1 - 5 of
5 matches in All Departments
This Festschrift volume, dedicated to He Jifeng on the occasion of
his 70th birthday in September 2013, includes 24 refereed papers by
leading researchers, current and former colleagues, who
congratulated at a celebratory symposium held in Shanghai, China,
in the course of the 10th International Colloquium on Theoretical
Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum
of subjects, from foundational and theoretical topics to programs
and systems issues and to applications, comprising formal methods,
software and systems modeling, semantics, laws of programming,
specification and verification, as well as logics. He Jifeng is
known for his seminal work in the theories of programming and
formal methods for software engineering. He is particularly
associated with Unifying Theories of Programming (UTP) , the theory
of data refinement and the laws of programming, and the rCOS formal
method for object and component system construction. His book on
UTP with Tony Hoare has been widely read and followed by a large
number of researchers, and it has been used in many postgraduate
courses. He was a senior researcher at Oxford during 1984-1998, and
then a senior research fellow at the United Nations University
International Institute for Software Technology (UNU-IIST) in Macau
during 1998-2005. He has been a professor and currently the Dean of
the Institute of Software Engineering at East China Normal
University, Shanghai, China. In 2005, He Jifeng was elected as an
academician to the Chinese Academy of Sciences. He also received an
honorary doctorate from the University of York. He won a number of
prestigious science and technology awards, including a 2nd prize of
Natural Science Award from the State Council of China, a 1st prize
of Natural Science Award from the Ministry of Education of China, a
1st prize of Technology Innovation from the Ministry of Electronic
Industry, and a number awards from Shanghai government.
|
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Paperback, 2013 ed.)
Zhiming Liu, Jim Woodcock, Huibiao Zhu
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book presents 5 tutorial lectures by leading researchers given
at the ICTAC 2013 Software Engineering School on Unifying Theories
of Programming and Formal Engineering Methods, held in Shanghai,
China in August 2013.The lectures are aimed at postgraduate
students, researchers, academics, and industrial engineers. They
cover topics such as component-based and service-oriented systems,
real-time systems, hybrid systems, cyber physical systems, and
present techniques such as inductive theorem proving, model
checking, correction by construction through refinement and model
transformations, synthesis, and computer algebra. Two of the
courses are explicitly related to Hoare and He's Unifying Theories
of Programming.
This book constitutes the refereed proceedings of the 10th
International Colloquium on Theoretical Aspects of Computing, ICTAC
2013 held in Macau, China, in September 2013. The 22 revised full
papers presented together with three keynote talks were carefully
reviewed and selected from 64 submissions. The papers cover various
topics related to both theoretical aspects of computing and the
exploitation of theory through methods and tools for system
development.
|
Service-Oriented Computing - ICSOC Workshops 2012 - ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers (Paperback, 2013 ed.)
Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, …
|
R1,616
Discovery Miles 16 160
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed proceedings of the
2012 ICSOC Workshops consisting of 6 scientific satellite events,
organized in 3 main tracks including workshop track (ASC, DISA.
PAASC, SCEB, SeMaPS and WESOA 2012), PhD symposium track,
demonstration track; held in conjunction with the 10th
International Conference on Service-Oriented Computing (ICSOC), in
Shanghai, China, November 2012. The 53 revised papers presents a
wide range of topics that fall into the general area of service
computing such as business process management, distributed systems,
computer networks, wireless and mobile computing, grid computing,
networking, service science, management science, and software
engineering.
This book constitutes the refereed proceedings of the 6th
International Symposium on Unifying Theories of Programming, UTP
2016, held in Reykjavik, Iceland, in June 2016, in conjunction with
the 12th International Conference on Integrated Formal Methods, iFM
2016. The 8 revised full papers presented were carefully reviewed
and selected from 10 submissions. They deal with the fundamental
problem of combination of formal notations and theories of
programming that define in various different ways many common
notions, such as abstraction refinement, choice, termination,
feasibility, locality, concurrency, and communication. They also
show that despite many differences, such theories may be unified in
a way that greatly facilitates their study and comparison.
|
You may like...
Southpaw
Jake Gyllenhaal, Forest Whitaker, …
DVD
R99
R24
Discovery Miles 240
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
|