000 | 03849nam a22005055i 4500 | ||
---|---|---|---|
001 | 978-3-540-45098-6 | ||
003 | DE-He213 | ||
005 | 20160624101957.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s2000 gw | s |||| 0|eng d | ||
020 |
_a9783540450986 _9978-3-540-45098-6 |
||
024 | 7 |
_a10.1007/10722060 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aReliable Software Technologies Ada-Europe 2000 _h[electronic resource] : _b5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings / _cedited by Hubert B. Keller, Erhard Plödereder. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2000. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2000. |
|
300 |
_aXIII, 306 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v1845 |
|
505 | 0 | _aInvited Presentations -- Support of Technology Development in the Information Society -- Kingcat MCAS – Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java -- Ada after 10 Years of Usage – Is There a Commercial Future? -- An Open Ravenscar Real-Time Kernel for GNAT -- Real-Time and Safety-Critical Systems -- Object-Oriented Programming and Protected Objects in Ada 95 -- Is an Ada Lint Necessary? -- Session: Tools -- Using JavaTM APIs with Native Ada Compilers -- Static Worst-Case Execution Time Analysis of Synchronous Programs -- A Supporting Tool for Development of Self-Measurement Ada Programs -- Session: APIs and Components -- On Persistent and Reliable Streaming in Ada -- Reengineering the Booch Component Library -- GtkAda: Design and Implementation of a High Level Binding in Ada -- Session: ASIS -- ASIS-for-GNAT: A Report of Practical Experiences -- Generation of Interface Design Description Documents Using ASIS -- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation -- Session: Risk and Reliability Management -- Enhancements in Software Project Risk Management -- Constructing Reliable Embedded Systems Using the Results of System Safety Analysis -- An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction -- Session: UML -- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 -- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project -- Session: Formal Analysis Methods -- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs -- Exceptions in OO Languages: Using Them and Reasoning about Them -- (True) Polymorphism in SPARK2000 -- Session: Testing -- Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation -- Results of an Investigation into Software Integration Testing Automation -- On the Minimal Essential Subsets and Minimal Representative Sets. | |
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aSoftware engineering. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aComputer Communication Networks. |
700 | 1 |
_aKeller, Hubert B. _eeditor. |
|
700 | 1 |
_aPlödereder, Erhard. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783540676690 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v1845 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/10722060 |
942 |
_2EBK5176 _cEBK |
||
999 |
_c34470 _d34470 |