Reliable Software Technologies - Ada-Europe '97
Editat de Keith Hardy, Jim Briggsen Limba Engleză Paperback – 21 mai 1997
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context.
Preț: 321.60 lei
Preț vechi: 402.00 lei
-20% Nou
Puncte Express: 482
Preț estimativ în valută:
56.91€ • 66.73$ • 49.98£
56.91€ • 66.73$ • 49.98£
Carte tipărită la comandă
Livrare economică 04-18 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540631149
ISBN-10: 3540631143
Pagini: 308
Ilustrații: IX, 299 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540631143
Pagini: 308
Ilustrații: IX, 299 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
The C++ Programming LanguageBjarne Stroustrup-20%Preț: 470.07 lei587.59 lei -
The Art of C ProgrammingRobin Jones-20%Preț: 561.39 lei701.74 lei -
Practical Smalltalk: Using Smalltalk/VDan Shafer-20%Preț: 618.64 lei773.29 lei -
Python Programming for Biology: Bioinformatics and BeyondTim J. Stevens-20%Preț: 455.63 lei569.54 lei -
-20%Preț: 162.52 lei203.14 lei -
Pro ASP.NET Web API Security: Securing ASP.NET Web APIBadrinarayanan Lakshmiraghavan-20%Preț: 521.46 lei651.81 lei -
-20%Preț: 231.14 lei288.92 lei -
-20%Preț: 144.90 lei181.12 lei -
Functional Programming in ScalaRunar Bjarnason-20%Preț: 285.50 lei356.88 lei -
Python Programming for BeginnersJoseph Joyner-20%Preț: 50.93 lei63.66 lei -
Murach's C# 2012Joel Murach-29%Preț: 342.50 lei479.44 lei -
PASCAL-XSC: Language Reference with ExamplesRudi Klatte-20%Preț: 324.50 lei405.63 lei -
Data Structures and Algorithms: A First CourseIain T. Adamson-20%Preț: 328.94 lei411.17 lei -
Programming LanguagesFrancisco Heron de Carvalho Junior-20%Preț: 407.87 lei509.83 lei -
Algebraic Specifications in Software Engineering: An IntroductionIvo Van Horebeek-20%Preț: 325.61 lei407.00 lei -
-20%Preț: 352.04 lei440.05 lei
Public țintă
ResearchCuprins
Finite unions for Ada 95.- Ada bindings for C interfaces: Lessons learned from the florist implementation.- An Ada 95 sort race construction set.- Computer aided teaching of programming languages.- The SPIF project.- Developing scripting capabilities for an Ada-based simulator.- Systematic unit-testing of Ada programs.- Ada 95 as a base to architect systems in O4S™.- Including non-functional issues in Anna/Ada programs for automatic implementation selection.- Semantics-based support tools for high integrity Ada software.- An alternative toolset for analysis of Ada programs.- Implementing application-level sporadic server schedulers in Ada 95.- Capturing and verifying performance requirements for hard real time systems.- Task termination in Ada 95.- Parameter-induced aliasing and related problems can be avoided.- Towards an integration of syntactic constructs and structural features for formalised object-oriented methods.- The dangers of inheritance.- CCO-MARS'96 integrating HOOD, Ada, and XInAda in a full Ada operational software project.- Code-data consistency in Ada.- Supporting Ada 95 passive partitions in a distributed environment.- An Ada library to program fault-tolerant distributed applications.- T-SMART-task-safe, minimal Ada realtime toolset.- On programming atomic actions in Ada 95.- Static analysis and diversity in the software development process — experiences with the use of SPARK.- Techniques for testing Ada 95.