UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT

Source URL: www.spinroot.com

• Data types
• Cross-platform software
• Procedural programming languages
• Type theory
• Pointer
• Main function
• C
• Static single assignment form
• Dataflow
• Software engineering
• Computing
• Computer programming

National Aeronautics and Space Administration s p i n off N ASA T e c h n o l o g i e s B e n e f i t S o c i e t y 2011

Source URL: www.grammatech.com

• Unmanned spacecraft
• GrammaTech
• Gerard J. Holzmann
• Mars Science Laboratory
• Reliability engineering
• Mars Global Surveyor
• Software development
• Spaceflight
• Spacecraft
• Space technology

Coop Skicross Kids Tour Villars Classement[removed]Version Total 59 Kids

Source URL: www.audiskicross.ch

• Holzmann
• Nanchen

The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann NASA/JPL Laboratory for Reliable Software Pasadena, CA[removed]Most serious software development projects use coding guidelines. These guid

Source URL: pixelscommander.com

• Data types
• Source code
• Type theory
• C++
• Cross-platform software
• Assertion
• C
• Pointer
• Type system
• Computer programming
• Computing
• Software engineering

01/15 ”VIRUSEPIDEMIOLOGISCHE INFORMATION” NR._____ Für den Inhalt verantwortlich: Prof. Dr. Franz X. Heinz Prof. Dr[removed]J. Aberle, Prof. Dr. St. Aberle Prof. Dr. H. Holzmann, Prof. Dr. Th. Popow-Kraupp

Source URL: www.virologie.meduniwien.ac.at

SCRUB: a tool for code reviews Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory / California Institute of Technology, Pasadena, CA 91109, USA phone: [removed]fax: [removed]

Source URL: spinroot.com

• Source code
• Software review
• Peer review
• Academic literature
• Scientific method
• Code review
• Coding conventions
• Comment
• Source lines of code
• Computer programming
• Software engineering
• Computing

Reliable Software Systems Design Gerard J. Holzmann Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Abstract The grand challenge that is the focus of this conference targets the development of a

Source URL: vstte.inf.ethz.ch

• Materials science
• Reliability engineering
• Survival analysis
• Elevator
• Systems science
• Parachute
• Fuse
• Engineering
• Software quality
• Design for X
• Systems engineering

SOFTWARE TECHNOLOGIES The Power of 10: Rules for Developing SafetyCritical Code Gerard J. Holzmann

Source URL: spinroot.com

• Source code
• Data types
• Procedural programming languages
• C programming language
• C
• Assertion
• Pointer
• Recursion
• Subroutine
• Computer programming
• Computing
• Software engineering

Named Entity Evolution Analysis on Wikipedia Helge Holzmann Thomas Risse L3S Research Center

Source URL: www.l3s.de

• World Wide Web
• Hypertext
• Computational linguistics
• Entity-relationship model
• Wikipedia
• Named-entity recognition
• Information retrieval
• Science
• Open content
• Natural language processing

Bushkill Township Awarded for Land, Water Preservation Efforts Easton Express By Pamela Sroka-Holzmann May 11, 2014

Source URL: www.dcnr.state.pa.us

• Bushkill
• Northampton County
• Pennsylvania
• Pennsylvania
• Jacobsburg Environmental Education Center