Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007616460/catalog> ?p ?o. }

Showing items 1 to 31 of 31 with 100 items per page.

catalog alternative "Ada-Europe '97".
catalog contributor b10526605.
catalog contributor b10526606.
catalog contributor b10526607.
catalog contributor b10526608.
catalog created "1997.".
catalog date "1997".
catalog date "1997.".
catalog dateCopyrighted "1997.".
catalog description "Finite unions for Ada 95 / B. Holzmüller, E. Plö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 [and others] -- 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. Ö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 -- ".
catalog description "Implementing application-level sporadic server schedulers in Ada 95 / M. González Harbour, J.J. Gutiérrez Garcia, J.C. Palencia Gutiérrez -- Capturing and verifying performance requirements for hard real time systems / R.H. Pierce [and others] -- Task termination in Ada 95 / A.J. Wellings, A. Burns, O. Pazy --Parameter-induced aliasing and related problems can be avoided / W. Gellerich, E. Plö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 [and others] -- T-smart-task-safe, minimal Ada realtime toolset / B. Dobbing, M. Richard-Foy -- ".
catalog description "Includes bibliographical references and index.".
catalog description "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.".
catalog extent "viii, 291 p. :".
catalog identifier "3540631143 (soft cover : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 1251".
catalog issued "1997".
catalog issued "1997.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005.13/3 21".
catalog subject "Ada (Computer program language) Congresses.".
catalog subject "Computer software Reliability Congresses.".
catalog subject "QA76.73.A16 A23 1997".
catalog tableOfContents "Finite unions for Ada 95 / B. Holzmüller, E. Plö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 [and others] -- 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. Ö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 -- ".
catalog tableOfContents "Implementing application-level sporadic server schedulers in Ada 95 / M. González Harbour, J.J. Gutiérrez Garcia, J.C. Palencia Gutiérrez -- Capturing and verifying performance requirements for hard real time systems / R.H. Pierce [and others] -- Task termination in Ada 95 / A.J. Wellings, A. Burns, O. Pazy --Parameter-induced aliasing and related problems can be avoided / W. Gellerich, E. Plö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 [and others] -- T-smart-task-safe, minimal Ada realtime toolset / B. Dobbing, M. Richard-Foy -- ".
catalog tableOfContents "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.".
catalog title "Ada-Europe '97".
catalog title "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.".
catalog type "Conference proceedings. fast".
catalog type "text".