INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Programming in JoCaml — Extended Version Louis Mandel — Luc Maranget N° 6261

Source URL: www.lri.fr

Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

Source URL: srg.doc.ic.ac.uk

CDYNE Phone Notify! Web Service Version 4.3 WSDL: http://ws.cdyne.com/NotifyWS/PhoneNotify.asmx?wsdl Testing URL: http://ws.cdyne.com/NotifyWS/PhoneNotify.asmx Developer Resources: http://wiki.cdyne.com/index.php/Phone_N

Source URL: www.cdyne.com

• Software engineering
• Computer programming
• Computing
• Scripting languages
• Parameter
• Subroutines
• Variable
• Caller ID
• IBM i Control Language
• String
• JavaScript
• Semipredicate problem

5 Algorithms and Data Structures © N. WirthOberon version: AugustContents Preface

Source URL: acm.mipt.ru

• Data types
• Pascal
• Pointer
• Associative array
• Algorithm
• Array data type
• Data structure
• Assignment
• Programming language
• Modula-2
• APL
• Data

C o mp o s i t e . Ve r s i o n i n g . Co n t e n t Ve r s i o n i n g User Guide CompositeComposite A/S Nygårdsvej 16 DK-2100 Copenhagen

Source URL: users.composite.net

• Revision control
• Software development process
• Technical communication
• Version control
• TeX
• Versioning file system
• WebDAV
• Software
• Computing
• Computer programming

WSC' 03 Sample Paper

Source URL: www.mssanz.org.au

• Computing
• Fault-tolerant computer systems
• Risk
• Safety
• N-version programming
• Software design
• Dependability
• Fault-tolerant design
• Software fault tolerance
• Software quality
• Reliability engineering
• Systems engineering

Supporting Distributed and Decentralized Projects: Drawing Lessons from the Open Source Community Justin R. Erenkrantz, Richard N. Taylor Institute for Software Research University of California, Irvine

Source URL: www.erenkrantz.com

• Distributed revision control systems
• Version control
• Technical communication
• Software development process
• Open-source software
• Debian
• KDE
• Open source
• BitKeeper
• Software
• Computing
• Computer programming

Microsoft Wordrevised

Source URL: rs.ieee.org

• Software engineering
• Failure
• Survival analysis
• Materials science
• Reliability engineering
• Software design
• N-version programming
• Concept map
• Free software
• Software quality
• Computing
• Systems engineering

5 Algorithms and Data Structures © N. WirthOberon version: AugustContents Preface

Source URL: www.dbnet.ece.ntua.gr

• Data types
• Pascal
• Pointer
• Programming language
• Algorithm
• Array data type
• Data structure
• Reference
• Modula-2
• Computing
• Software engineering
• Computer programming

First published November 8, 1996. Original raw text file: http://www.phrack.com/issues.html?issue=49&id=14&mode=txt This version is based on an HTML conversion by Prabhaker Mateti. It fixes errors in the original, with n

Source URL: www.cis.upenn.edu

• Software bugs
• Computer errors
• Memory management
• Subroutines
• X86 architecture
• Volatile variable
• Stack buffer overflow
• Segmentation fault
• Stack
• Computing
• Software engineering
• Computer programming