Tools

LEADER 03739cam 2200385 a 4500

001 ocm37024977;

003 OCoLC;

005 20141212125126.0;

008 970602s1997 gw a b 101 0 eng ;

010 a| 97024990;

020 a| 3540631143 (soft cover : alk. paper);

035 a| (Sirsi) o37024977;

035 a| (OCoLC)37024977;

049 a| EREE;

050 00 a| QA76.73.A16b| A23 1997;

082 00 a| 005.13/32| 21;

111 2 a| Ada-Europe International Conference on Reliable Software Technologiesd| (1997 :c| London, England)?| UNAUTHORIZED;

245 10 a| Reliable software technologies--Ada-Europe '97 :b| 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings /c| Keith Hardy, Jim Briggs, eds.;

260 a| Berlin ;a| New York :b| Springer,c| 1997.;

300 a| viii, 291 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1251;

504 a| Includes bibliographical references and index.;

505 0 a| Finite unions for Ada 95 / B. Holzmüller, E. Plöedereder -- Ada bindings for C interfaces : lessons learned from the florist implementation / T.P. Baker, D.I. Oh -- An Ada 95 sort race construction set / M.B. Feldman -- Computer aided teaching of programming languages : an Ada-specific development / J.E. Cooling, N. Duff, J. Cooling -- The SPIF project / B. Dupouy ... [et al.] -- Developing scripting capabilities for an Ada-based simulator / S.S. Jovanovic, D.M. Sotirovski, P. van Aswegen -- Systematic unit-testing of Ada programs / J. Wegener, I. Fey -- Ada 95 as a base to architect systems in 045 [superscript trademark symbol] / I. Ögren -- Including non-functional issues in Anna/Ada programs for automatic implementation selection / X. Franch -- Semantics-based support tools for high integrity Ada software / W.L. Yeung -- An alternative toolset for analysis of Ada programs / A.E. Bell -- Implementing application-level sporadic server schedulers in Ada 95 / M. González Harbour, J.J. Gutiérrez Garcia, J.C. Palencia Gutiérrez -- Capturing and verifying performance requirements for hard real time systems / R.H. Pierce ... [et al.] -- Task termination in Ada 95 / A.J. Wellings, A. Burns, O. Pazy --Parameter-induced aliasing and related problems can be avoided / W. Gellerich, E. Plöedereder -- Towards an integration of syntactic constructs and structural features for formalised object-oriented methods / K.S. Cheung, K.O. Chow, T.Y. Cheung -- The dangers of inheritance / J. English -- CCO-MARS'96 integrating HOOD, Ada and XInAda in a full Ada operational software project / P. Pichon -- Code-data consistency in Ada / V.M. Celier, D. Sotirovski, C.J. Thompson -- Supporting Ada 95 passive partitions in a distributed applications / F. Guerra ... [et al.] -- T-smart-task-safe, minimal Ada realtime toolset / B. Dobbing, M. Richard-Foy -- On programming atomic actions in Ada 95 / A. Romanovsky, S.E. Mitchell, A.J. Wellings -- Static analysis and diversity in the software development process : experiences with the use of SPARK / J.P. Thornley -- Techniques for testing Ada 95 / S.R. Waterman.;

650 0 a| Ada (Computer program language)v| Congresses.=| ^A1235051;

650 0 a| Computer softwarex| Reliabilityv| Congresses.=| ^A428561;

700 1 a| Hardy, Keith.=| ^A397366;

700 1 a| Briggs, Jimq| (Jim S.)=| ^A397367;

830 0 a| Lecture notes in computer sciencev| 1251.=| ^A466336;

596 a| 1;

998 a| 627442;

999 a| QA76.73.A16 A23 1997w| LCc| 1i| 30372010019559d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/16/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Reliable software technologies--Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings / Keith Hardy, Jim Briggs, eds.

Author/creator	Ada-Europe International Conference on Reliable Software Technologies
Other author	Hardy, Keith.
Other author	Briggs, Jim (Jim S.)
Format	Book
Publication Info	Berlin ; New York : Springer, 1997.
Description	viii, 291 pages : illustrations ; 24 cm.
Subjects	Ada (Computer program language)--Congresses. Computer software--Reliability. --Congresses.

Series	Lecture notes in computer science ; 1251 Lecture notes in computer science 1251. ^A466336
Contents	Finite unions for Ada 95 / B. Holzmüller, E. Plöedereder -- Ada bindings for C interfaces : lessons learned from the florist implementation / T.P. Baker, D.I. Oh -- An Ada 95 sort race construction set / M.B. Feldman -- Computer aided teaching of programming languages : an Ada-specific development / J.E. Cooling, N. Duff, J. Cooling -- The SPIF project / B. Dupouy ... [et al.] -- Developing scripting capabilities for an Ada-based simulator / S.S. Jovanovic, D.M. Sotirovski, P. van Aswegen -- Systematic unit-testing of Ada programs / J. Wegener, I. Fey -- Ada 95 as a base to architect systems in 045 [superscript trademark symbol] / I. Ögren -- Including non-functional issues in Anna/Ada programs for automatic implementation selection / X. Franch -- Semantics-based support tools for high integrity Ada software / W.L. Yeung -- An alternative toolset for analysis of Ada programs / A.E. Bell -- Implementing application-level sporadic server schedulers in Ada 95 / M. González Harbour, J.J. Gutiérrez Garcia, J.C. Palencia Gutiérrez -- Capturing and verifying performance requirements for hard real time systems / R.H. Pierce ... [et al.] -- Task termination in Ada 95 / A.J. Wellings, A. Burns, O. Pazy --Parameter-induced aliasing and related problems can be avoided / W. Gellerich, E. Plöedereder -- Towards an integration of syntactic constructs and structural features for formalised object-oriented methods / K.S. Cheung, K.O. Chow, T.Y. Cheung -- The dangers of inheritance / J. English -- CCO-MARS'96 integrating HOOD, Ada and XInAda in a full Ada operational software project / P. Pichon -- Code-data consistency in Ada / V.M. Celier, D. Sotirovski, C.J. Thompson -- Supporting Ada 95 passive partitions in a distributed applications / F. Guerra ... [et al.] -- T-smart-task-safe, minimal Ada realtime toolset / B. Dobbing, M. Richard-Foy -- On programming atomic actions in Ada 95 / A. Romanovsky, S.E. Mitchell, A.J. Wellings -- Static analysis and diversity in the software development process : experiences with the use of SPARK / J.P. Thornley -- Techniques for testing Ada 95 / S.R. Waterman.
Bibliography note	Includes bibliographical references and index.
LCCN	97024990
ISBN	3540631143 (soft cover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.73.A16 A23 1997	✔ Available	Place Hold

Reliable software technologies--Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings / Keith Hardy, Jim Briggs, eds.

Click here for more information about this title

Availability