Algebraic Specification Techniques In Object Oriented Programming Environments LNCS 562(1st Edition)
Authors:
R. Breu
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0387549722, 978-0387549729
Book publisher: Springer Verlag
Book Price $0 : The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. The author uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.
Customers also bought these books
Model Driven Engineering Languages And Systems 15th International Conference Models 2012 Innsbruck Austria September 30 October 5 2012 Proceedings - 2012 Edition
Robert B. France
ISBN: 3642336655, 978-3642336652
$0 $52.44
Digital Libraries In Computer Science The Medoc Approach - 1st Edition
Andreas Barth
ISBN: 3540644938, 978-3540644934
$0 $17.41
Statistical Techniques In Business And Economics - 16th Edition
Douglas Lind
ISBN: 78020522, 978-0078020520
$0 $21.97
Applied Statistics From Bivariate Through Multivariate Techniques - 2nd Edition
Rebecca M. Warner
ISBN: 141299134X, 978-1412991346
$0 $37.57
Teach Yourself Object Oriented Programming With Turbo C++ In 21 Days - 1st Edition
Greg M. Perry
ISBN: 0672303078, 978-0672303074
$0 $5.72
Python Robotics For Kids A Guide To Spike Prime Robot With Object Oriented Programming - 1st Edition
Mr. Robo Tricks
ISBN: 979-8867091927
$0 $12.99
Discrete And Computational Geometry Japanese Conference JCDCG 98 Tokyo Japan December 1998 LNCS 1763 - 1st Edition
Jin Akiyama
ISBN: 3540671811, 978-3540671817
$0 $54.99
Computational Geometry And Its Applications CG 88 International Workshop On Computational Geometry Wurzburg FRG March 1988 Proceedings LNCS 333 - 1st Edition
Hartmut Noltemeier
ISBN: 3540503358, 978-3540503354
$0 $49.54
Fluid Mechanics Heat Transfer And Mass Transfer Chemical Engineering Practice - 1st Edition
K. S. Raju
ISBN: 0470637749, 978-0470637746
$95.75 $136.79
Operations and Supply Chain Management - 15th edition
F. Robert Jacobs
ISBN: 1259666107, 978-1259666100
$0 $40.37
Mathematical Modeling Approaches For Optimization Of Chemical Processes - 1st Edition
Gabriela Corsano
ISBN: 1604569425, 978-1604569421
$56.3 $80.43
Focus On Object Oriented Programming With C++ Programming Series - 7th Edition
Richard L Stegman
ISBN: 1979943699, 978-1979943697
$0 $6.36Popular Among Students
Student Manual Strategic Compensation A Human Resource Management Approach - 7th Edition
Joseph J Martocchio
ISBN: 0132654512, 9780132654517
$0 $19.00
Your First Year Teaching Computer Science A Practical Guide To Success For New Computer Science Teachers - 1st Edition
Chris Gregg
ISBN: 173581072X, 9781735810720
$0 $69.95
Iv Vitamin Regulations Your Guide For Usp 797 Pharmacy Compliance - 1st Edition
Shannon Petteruti Np
ISBN: B09WHN2LGZ, 979-8786000482
$0 $16.99
Foundations Of Computer Science: Potential Theory Cognition - 1st Edition
Freksa
ISBN: 354063746X, 9783540637462
$0 $6.81
The Innovation Handbook A Nurse Leader S Guide To Transforming Nursing - Leaders Guide Edition
Bonnie Clipper
ISBN: 1646480783, 978-1646480784
$0 $21.65
Mri Of Gynaecological Diseases Illustrations And Cases - 1st Edition
Guofu Zhang
ISBN: 9819936438, 978-9819936434
$105.22 $150.32
Dialog Coordination In Object Oriented Design - 1st Edition
Teodor Dumitru
ISBN: 979-8793803427
$0 $7.00
Programming In An Object Oriented Environment - 1st Edition
Raimund K. Ege
ISBN: 1483238369, 978-1483238364
$0 $72.95
Ecoop 96 Object Oriented Programming 10th European Conference Linz Austria July 8 12 1996 Proceedings - 1st Edition
Pierre Cointe
ISBN: 3540614397, 978-3540614395
$0 $38.75
Introduction To Java Programming AP Version - 1st Edition
Y. Daniel Liang
ISBN: 0134304748, 978-0134304748
$0 $8.98
Integrated Nutrient Management For Rainfed Direct Sown Finger Millet Inm In Rainfed Finger Millet - 1st Edition
N Jagathjothi Narayanan
ISBN: 3659757586, 978-3659757587
$0 $60.00
Demon Slayer Kimetsu No Yaibaa Signs From The Wind - 1st Edition
Koyoharu Gotouge
ISBN: 1974732541, 978-1974732548
$0 $6.67Customer Reviews
Trusted feedback from verified buyers
