MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Thomas Pressburger – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Automating Software Reuse with Amphion  
  • by Thomas Pressburger, Michael Lowry — 1996 — NASA workshop on Software Reuse
  • …The construction of libraries of reusable software components is the standard software engineering solution for improving software development productivity and quality. By encapsulating usable functionality in software components (e.g. subroutines, object classes), and then reusing those components,…
  • Cited by 1 (0 self) – Add To MetaCart
  • Infusing Software Assurance Research Techniques into Use  
  • by Thomas Pressburger, Michael Hinchey — 2006 — Proc. 2006 IEEE Aerospace Conference, Big Sky, MT, 10-14 March 2006, IEEE Computer Society
  • …Abstract—Research in the software engineering community continues to lead to new development techniques that encompass processes, methods and tools. However, a number of obstacles impede their infusion into software development practices. These are the recurring obstacles common to many forms of res…
  • Cited by 2 (2 self) – Add To MetaCart
  • Model Checking Java Programs Using Java PathFinder  
  • by Klaus Havelund, Thomas Pressburger — 1998
  • …. This paper describes a translator called Java PathFinder (Jpf), from Java to Promela, the modeling language of the Spin model checker. Jpf translates a given Java program into a Promela model, which then can be model checked using Spin. The Java program may contain assertions, which are translated…
  • Cited by 223 (25 self) – Add To MetaCart
  • Certifying Domain-Specific Policies  
  • by Michael Lowry Thomas, Thomas Pressburger — 2001 — In Proceedings, International Conference on Automated Software Engineering (ASE’01
  • …Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof…
  • Add To MetaCart
  • AMPHION: Automatic programming for scientific subroutine libraries  
  • by Michael Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood — 1994 — Intl. Symp. on Methodologies for Intelligent Systems
  • …Abstract. This paper describes AMPHION 1, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. AMPHION is domain independent and…
  • Cited by 19 (2 self) – Add To MetaCart
  • Certifying Domain-Specific Policies  
  • by Michael Lowry, Thomas Pressburger, Grigore Rosu — 2001
  • …Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof…
  • Cited by 18 (2 self) – Add To MetaCart
  • The AutoBayes Program Synthesis System - System Description  
  • by Bernd Fischer, Thomas Pressburger, Grigore Rosu, Johann Schumann
  • …interpretation is used as an efficient mechanism to evaluate range constraints such as x ? 0 or x 6= 0 which occur in the conditions of many rewrite rules. AutoBayes implements as a rewrite system a domain-specific refinement of the standard sign abstraction where numbers are not only abstracted int…
  • Cited by 2 (2 self) – Add To MetaCart
  • Deductive Composition of Astronomical Software from Subroutine Libraries  
  • by Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger, Ian Underwood — In Proceedings 12th International Conference on Automated Deduction
  • …Automated deduction techniques are being used in a system called Amphion to derive, from graphical specifications, programs composed from a subroutine library. The system has been applied to construct software for the planning and analysis of interplanetary missions. The library for that application…
  • Cited by 56 (4 self) – Add To MetaCart
  • Explaining Synthesized Software  
  • by Jeffrey Van Baalen, Peter Robinson, Michael Lowry, Thomas Pressburger — 1998 — Proc. 13th Intl. Conf. Automated Software Engineering
  • …Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion has a number of advantages, such as the ability to develop a new synthesis system simply by writing a declarative domain theory. Ho…
  • Cited by 13 (5 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB