A Discipline of Programming, 1st edition

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Discipline of Programming, 1st edition

Source

Pages: 240

Medium: Paperback

Year of Publication: 1997

ISBN:013215871X

Author

Edsger Wybe Dijkstra

Publisher

Prentice Hall PTR Upper Saddle River, NJ, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 705

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Book Save this Book to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 706

	Rogier M. Van Eijk , Frank S. De Boer , Wiebe Van Der Hoek , John-Jules Ch. Meyer, A Verification Framework for Agent Communication, Autonomous Agents and Multi-Agent Systems, v.6 n.2, p.185-219, March 2003
	Keith Clark , Steve Gregory, PARLOG: parallel programming in logic, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.1, p.1-49, Jan. 1986
	Marvin V. Zelkowitz, Perspectives in Software Engineering, ACM Computing Surveys (CSUR), v.10 n.2, p.197-216, June 1978
	Manfred Broy , Bernd Krieg-Bruckner, Derivation of Invariant Assertions During Program Development by Transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.321-337, July 1980
	R. Gerth , A. Pnueli, Rooting UNITY, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.11-19, May 1989
	Frank S. de Boer , Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi, Proving concurrent constraint programs correct, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.98-108, January 16-19, 1994, Portland, Oregon, United States
	Greg Nelson, Juno, a constraint-based graphics system, ACM SIGGRAPH Computer Graphics, v.19 n.3, p.235-243, Jul. 1985
	Peter C. R. Lane , Fernand Gobet, Developing reproducible and comprehensible computational models, Artificial Intelligence, v.144 n.1-2, p.251-263, March 2003
	Bengt Nordström, Assignments and high level data types, Proceedings of the 1978 annual conference, p.630-638, January 1978
	Robert W. Lingard, A software methodology for building interactive tools, Proceedings of the 5th international conference on Software engineering, p.394-399, March 09-12, 1981, San Diego, California, United States
	Zohar Manna , Richard Waldinger, The automatic synthesis of recursive programs, ACM SIGPLAN Notices, v.12 n.8, p.29-36, August 1977
	Barry W. Boehm, Software engineering-as it is, Proceedings of the 4th international conference on Software engineering, p.11-21, September 17-19, 1979, Munich, Germany
	Tzilla Elrad , Robert E. Filman , Atef Bader, Aspect-oriented programming: Introduction, Communications of the ACM, v.44 n.10, p.29-32, Oct. 2001
	Erhard Ploedereder, Pragmatic techniques for program analysis and verification, Proceedings of the 4th international conference on Software engineering, p.63-72, September 17-19, 1979, Munich, Germany
	S. M. Merritt, A top down unification of minimum cost spanning tree algorithms, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.116-127, Sep. 1989
	C. A. R. Hoare, Assertions: A Personal Perspective, IEEE Annals of the History of Computing, v.25 n.2, p.14-25, April 2003
	C. A. R. Hoare , I. J. Hayes , He Jifeng , C. C. Morgan , A. W. Roscoe , J. W. Sanders , I. H. Sorensen , J. M. Spivey , B. A. Sufrin, Laws of programming, Communications of the ACM, v.30 n.8, p.672-686, Aug. 1987
	Harold N. Gabow , Robert Endre Tarjan, A linear-time algorithm for a special case of disjoint set union, Proceedings of the fifteenth annual ACM symposium on Theory of computing, p.246-251, December 1983
	Daniel Hoffman , Paul Strooper, State abstraction and modular software development, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.53-61, Oct. 1995
	Thomas Ball , Sriram K. Rajamani, Automatically validating temporal safety properties of interfaces, Proceedings of the 8th international SPIN workshop on Model checking of software, p.103-122, May 2001, Toronto, Ontario, Canada
	Ted J. Biggerstaff, Factored Specifications In The Synthesis Of LISP Functions, Proceedings of the 1978 annual conference, p.393-402, December 04-06, 1978, Washington, D.C., United States
	Ed Anson, The semantics of graphical input, ACM SIGGRAPH Computer Graphics, v.13 n.2, p.113-120, August 1979
	Robert J. K. Jacob, Using formal specifications in the design of a human-computer interface, Communications of the ACM, v.26 n.4, p.259-264, April 1983
	Guy Lewis Steele, Jr., Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO, Proceedings of the 1977 annual conference, p.153-162, January 1977
	Colin L. McMaster, An analysis of algorithms for the Dutch National Flag Problem, Communications of the ACM, v.21 n.10, p.842-846, Oct. 1978
	Bruce W. Watson , Richard E. Watson, A Boyer--Moore-style algorithm for regular expression pattern matching, Science of Computer Programming, v.48 n.2-3, p.99-117, August 2003
	Gordon S. Novak, Jr., Software Reuse by Specialization of Generic Procedures through Views, IEEE Transactions on Software Engineering, v.23 n.7, p.401-417, July 1997
	Sung-Woo Hur , Ashok Jagannathan , John Lillis, Timing driven maze routing, Proceedings of the 1999 international symposium on Physical design, p.208-213, April 12-14, 1999, Monterey, California, United States
	Daniel C. Hyde , Ben D. Gay , Donald Utter, Jr., The integration of a Problem Solving Process in the first course, ACM SIGCSE Bulletin, v.11 n.1, p.54-59, February 1979
	A. E. Kelley Sobel , M. R. Clarkson, Formal Methods Application: An Empirical Tale of Software Development, IEEE Transactions on Software Engineering, v.28 n.3, p.308-320, March 2002
	Ann E. Kelley Sobel, Empirical results of a software engineering curriculum incorporating formal methods, ACM SIGCSE Bulletin, v.32 n.1, p.157-161, Mar. 2000
	David S. Wile, Program developments: formal explanations of implementations, Communications of the ACM, v.26 n.11, p.902-911, Nov. 1983
	Riccardo Pucella, Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn, ACM SIGACT News, v.32 n.4, December 2001
	Michael Benedikt , Timothy Griffin , Leonid Libkin, Verifiable properties of database transactions, Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.117-127, June 04-06, 1996, Montreal, Quebec, Canada
	S. L. Murphy , A. U. Shankar, Service specification and protocol construction for the transport layer, ACM SIGCOMM Computer Communication Review, v.18 n.4, p.88-97, August 1988
	Michael Butler , Pieter Hartel, Reasoning about Grover's quantum search algorithm using probabilistic wp, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.3, p.417-429, May 1999
	Guy L. Steele, Jr. , Jon L. White, How to print floating-point numbers accurately, ACM SIGPLAN Notices, v.25 n.6, p.112-126, Jun. 1990
	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	Krzysztof R. Apt, Ten Years of Hoare's Logic: A Survey—Part I, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.431-483, Oct. 1981
	N. Ramsey, Developing formally verified Ada programs, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.257-265, May 1989
	K. Culik , M. M. Rizki, Logic versus mathematics in computer science education, ACM SIGCSE Bulletin, v.15 n.1, p.14-20, February 1983
	Rob Gerth, Transition logic: How to reason about temporal properties in a compositional way, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.39-50, December 1984
	Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , Grégoire Sutre, Lazy abstraction, ACM SIGPLAN Notices, v.37 n.1, p.58-70, Jan. 2002
	Hans-Juergen Boehm , Alan Demers, Implementing RUSSELL, ACM SIGPLAN Notices, v.21 n.7, p.186-195, July 1986
	Richard Denman , David A. Naumann , Walter Potter , Gary Richter, Derivation of programs for freshmen, ACM SIGCSE Bulletin, v.26 n.1, p.116-120, March 1994
	J. Mack Adams , James Armstrong , Melissa Smartt, Assertional checking and symbolic execution: An effective combination for debugging, Proceedings of the 1979 annual conference, p.152-156, January 1979
	Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992
	Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992
	John A. Wills, Technical correspondence: on triform programs, Communications of the ACM, v.25 n.6, p.389, June 1982
	Marco R. Casanova , Phillip A. Bernstein, A Formal System for Reasoning about Programs Accessing a Relational Database, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.386-414, July 1980
	Mooly Sagiv , Thomas Reps , Reinhard Wilhelm, Parametric shape analysis via 3-valued logic, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.3, p.217-298, May 2002
	Carroll Morgan , Annabelle McIver , Karen Seidel, Probabilistic predicate transformers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.3, p.325-353, May 1996
	Siau-Cheng Khoo , Kun Shi, Program Adaptation via Output-Constraint Specialization, Higher-Order and Symbolic Computation, v.17 n.1-2, p.93-128, March-June 2004
	John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978
	A U Shankar, A verified sliding window protocol with variable flow control, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.84-91, Aug. 5, 1986
	Wesley Peterson, Technical correspondence: file updating—still once more, Communications of the ACM, v.24 n.8, p.536-538, Aug. 1981
	Wesley Peterson, Technical correspondence: file updating—still once more, Communications of the ACM, v.24 n.8, p.536-538, Aug. 1981
	Hans-Jörg Schek , Gerhard Weikum , Haiyan Ye, Towards a unified theory of concurrency control and recovery, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.300-311, May 25-28, 1993, Washington, D.C., United States
	Nissim Francez , Dexter Kozen, Generalized fair termination, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.46-53, January 15-18, 1984, Salt Lake City, Utah, United States
	C. T. Zahn, A phased programming paradigm, ACM SIGCSE Bulletin, v.20 n.1, p.9-12, Feb. 1988
	Jan L. A. van de Snepscheut , Johan B. Swenker, On the design of some systolic algorithms, Journal of the ACM (JACM), v.36 n.4, p.826-840, Oct. 1989
	B. P. Weems, Operations on sets of intervals - an exercise for data structures or algorithms, ACM SIGCSE Bulletin, v.21 n.1, p.174-176, Feb. 1989
	H. J. Boom, A Weaker Precondition for Loops, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.668-677, Oct. 1982
	A. Udaya Shankar, Verified data transfer protocols with variable flow control, ACM Transactions on Computer Systems (TOCS), v.7 n.3, p.281-316, Aug. 1989
	Ib Sorensen , David Neilson, B: towards zero defect software, High integrity software, Kluwer Academic Publishers, Norwell, MA, 2001
	Edmund M. Clarke, Jr. , Steven M. German , Joseph Y. Halpern, On effective axiomatizations of Hoare logics, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.309-321, January 25-27, 1982, Albuquerque, Mexico
	David Gries , Gary Levin, Assignment and Procedure Call Proof Rules, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.564-579, Oct. 1980
	N. C.L. Beale , Peyton S.L. Jones, An ADA TMcompatible specification language, Proceedings of the ACM '81 conference, p.139-143, January 1981
	Leslie Lamport , Fred B. Schneider, The ``Hoare Logic'' of CSP, and All That, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.281-296, April 1984
	Subrata Dasgupta, Towards a microprogramming language schema, ACM SIGMICRO Newsletter, v.9 n.4, p.144-153, Dec. 1978
	Prasad Vishnubhotla, Fine-grain parallelism in the ALPS programming language, Proceedings of the 1990 conference on Supercomputing, p.506-514, October 1990, New York, New York, United States
	Shang-Cheng Chyou, Structure charts and program correctness proofs, Proceedings of the 7th international conference on Software engineering, p.486-498, March 26-29, 1984, Orlando, Florida, United States
	Kung-Kiu Lau , Vicky J. Bush , Pete J. Jinks, Towards an introductory formal programming course, ACM SIGCSE Bulletin, v.26 n.1, p.121-125, March 1994
	Robert Paige, Transformational programming: applications to algorithms and systems, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.73-87, January 24-26, 1983, Austin, Texas
	Susan Horwitz , Jan Prins , Thomas Reps, Integrating noninterfering versions of programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.345-387, July 1989
	Fred B. Schneider, Synchronization in Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.125-148, April 1982
	A. K. McIver , Carroll Morgan, Partial correctness for probabilistic demonic programs, Theoretical Computer Science, v.266 n.1-2, p.513-541, 09/06/2001
	David Harel, A general result on infinite trees and its applications, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.418-427, December 1984
	Michael C. McFarland, On proving the correctness of optimizing transformations in a digital design automation system, Proceedings of the 18th conference on Design automation, p.90-97, June 29-July 01, 1981, Nashville, Tennessee, United States
	Robert B. K. Dewar , Micha Shirar , Elia Weixelbaum, Transformational Derivation of a Garbage Collection Algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.650-667, Oct. 1982
	Michael R. Levy, Modularity and the sequential file update problem, Communications of the ACM, v.25 n.6, p.362-367, June 1982
	B. Szymanski , N. Prywes , E. Lock , A. Pnueli, On the scope of static checking in definitional languages, Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, p.197-207, January 1984
	P. A. de Marneffe, The problem of examination questions in algorithmics, ACM SIGCSE Bulletin, v.30 n.3, p.74-76, Sept. 1998
	Robert I. Winner, Unassigned objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.449-467, Oct. 1984
	Johnson M. Hart , Antonio Pizzarello, A scalable, automated process for year 2000 system correction, Proceedings of the 18th international conference on Software engineering, p.475-484, March 25-29, 1996, Berlin, Germany
	Norihisa Suzuki, Analysis of pointer “rotation”, Communications of the ACM, v.25 n.5, p.330-335, May 1982
	Maja D'Hondt, Making software knowledgeable, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Joseph Y. Halpern, A good Hoare axiom system for an ALGOL-like language, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.262-271, January 15-18, 1984, Salt Lake City, Utah, United States
	Timothy Griffin , Richard Hull, A framework for implementing hypothetical queries, ACM SIGMOD Record, v.26 n.2, p.231-242, June 1997
	Werner Damm, An axiomatization of low-level parallelism in microarchitectures, ACM SIGMICRO Newsletter, v.15 n.4, p.314-323, Dec. 1984
	N. Ito , M. Sato , E. Kuno , K. Rokusawa, The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D, ACM SIGARCH Computer Architecture News, v.14 n.2, p.149-156, June 1986
	Peter Wegner, Research paradigms in computer science, Proceedings of the 2nd international conference on Software engineering, p.322-330, October 13-15, 1976, San Francisco, California, United States
	Michał Walicki , Sigurd Meldal, Algebraic approaches to nondeterminism—an overview, ACM Computing Surveys (CSUR), v.29 n.1, p.30-81, March 1997
	Dan W. Crockett, Technical correspondence: on triform programs. author's repsonse, Communications of the ACM, v.25 n.6, p.391-392, June 1982
	Robert C. Shock, An algorithm for batch updates, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.233-236, February 1986, Cincinnati, Ohio, United States
	Richard D. Schlichting , Fred B. Schneider, Understanding and using asynchronous message passing (Preliminary Version), Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.141-147, August 18-20, 1982, Ottawa, Canada
	Ed Anson, A generalized iterative construct and its semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.567-581, Oct. 1987
	Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
	David Gries , Jan Prins, A new notion of encapsulation, ACM SIGPLAN Notices, v.18 n.6, p.131-139, June 1983
	Ernest H. Page , Richard E. Nance, Parallel discrete event simulation: a modeling methodological perspective, ACM SIGSIM Simulation Digest, v.24 n.1, p.88-93, July 1994
	Carl E. Landwehr, Technical correspondence: on nondeterministic programs, Communications of the ACM, v.25 n.4, p.292, April 1982
	Brain A. Rudolph, Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, v.33 n.5, p.563-576, May 1990
	Stuart Shapiro, Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering, IEEE Annals of the History of Computing, v.19 n.1, p.20-54, January 1997
	Allen Goldberg, Reusing software developments, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.107-119, Dec. 1990
	Bruce W. Watson, A new algorithm for the construction of minimal acyclic DFAs, Science of Computer Programming, v.48 n.2-3, p.81-97, August 2003
	Abha Moitra, Synthesis of communicating processes, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.123-130, August 17-19, 1983, Montreal, Quebec, Canada
	Richard T. Denman, Derivation of recursive algorithms for CS2, ACM SIGCSE Bulletin, v.28 n.1, p.9-13, March 1996
	Thomas Ellman, Explanation-based learning: a survey of programs and perspectives, ACM Computing Surveys (CSUR), v.21 n.2, p.163-221, Jun. 1989
	Greg Nelson, A generalization of Dijkstra's calculus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.4, p.517-561, Oct. 1989
	Udi Manber, Using induction to design algorithms, Communications of the ACM, v.31 n.11, p.1300-1313, Nov. 1988
	Michal Walicki , Sigurd Meldal, A complete calculus for the multialgebraic and functional semantics of nondeterminism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.2, p.366-393, March 1995
	Bengt Jonsson, Compositional specification and verification of distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.2, p.259-303, March 1994
	G. D. Bergland, Structured design methodologies, Proceedings of the 15th conference on Design automation, p.475-493, June 19-21, 1978, Las Vegas, Nevada, United States
	Luigi Logrippo, Input-directed program design, Proceedings of the ACM '81 conference, p.263-267, January 1981
	Patrick Cousot , Radhia Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.269-282, January 29-31, 1979, San Antonio, Texas
	D. Guaspari, Penelope, an Ada verification system, Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, p.216-224, January 1989, Pittsburgh, Pennsylvania, United States
	David Lorge Parnas, A generalized control structure and its formal definition, Communications of the ACM, v.26 n.8, p.572-581, Aug. 1983
	Kenneth T. Orr, Structured programming in the 1980s, Proceedings of the ACM 1980 annual conference, p.323-326, January 1980
	K. Rustan M. Leino , Arnd Poetzsch-Heffter , Yunhong Zhou, Using data groups to specify and check side effects, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Robert E. Tarjan, Space-Efficient Implementations of Graph Search Methods, ACM Transactions on Mathematical Software (TOMS), v.9 n.3, p.326-339, Sept. 1983
	Tadao Takaoka, Parallel program verification with directed graphs, Proceedings of the 1994 ACM symposium on Applied computing, p.462-466, March 06-08, 1994, Phoenix, Arizona, United States
	Kiwon Chong , Pei Hsia, Diagnostic system for distributed software: A relational database approach, Proceedings of the 7th international conference on Software engineering, p.30-40, March 26-29, 1984, Orlando, Florida, United States
	Paul C. Attie , Nissim Francez , Orna Grumberg, Fairness and hyperfairness in multi-party interactions, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.292-305, December 1989, San Francisco, California, United States
	David Ginat, Loop invariants and mathematical games, ACM SIGCSE Bulletin, v.27 n.1, p.263-267, March 1995
	E. A. Ashcroft , W. W. Wadge, mbox for Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.283-294, April 1982
	Judith Gersting , Frank H. Young, Context + experiences = curriculum, ACM SIGCSE Bulletin, v.29 n.1, p.325-329, March 1997
	I. Greif , A. Meyer, Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.180-189, January 29-31, 1979, San Antonio, Texas
	Donald L. Boyd , Antonio Pizzarello, Introduction to the WELLMADE design methodology, Proceedings of the 3rd international conference on Software engineering, p.94-100, May 10-12, 1978, Atlanta, Georgia, United States
	R. F. Gamble, Integrating a formal specification course with a software projects course via an editing tool, ACM SIGCSE Bulletin, v.27 n.1, p.312-316, March 1995
	V. R. Pratt, Dynamic algebras and the nature of induction, Proceedings of the twelfth annual ACM symposium on Theory of computing, p.22-28, April 28-30, 1980, Los Angeles, California, United States
	H. D. Mills , V. R. Basili , J. D. Gannon , R. G. Hamlet, Teaching principles of computer programming, Proceedings of the 15th annual conference on Computer Science, p.336-341, February 1987, St. Louis, Missouri, United States
	Thomas Ball , Rupak Majumdar , Todd Millstein , Sriram K. Rajamani, Automatic predicate abstraction of C programs, ACM SIGPLAN Notices, v.36 n.5, p.203-213, May 2001
	Toshihiro Kamiya, SOMA: a paradigm to evolve software based on separation of concerns, Proceedings of the International Workshop on Principles of Software Evolution, May 19-20, 2002, Orlando, Florida
	Geoffrey A. Frank, Specification of data structures for FP programs, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.221-228, October 18-22, 1981, Portsmouth, New Hampshire, United States
	David A. Schmidt, On the need for a popular formal semantics, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	P. A. Luker, Never mind the language, what about the paradigm?, ACM SIGCSE Bulletin, v.21 n.1, p.252-256, Feb. 1989
	Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989
	S. Budkowski , P. Dembinski, Firmware versus software verification, ACM SIGMICRO Newsletter, v.9 n.4, p.119-127, Dec. 1978
	Rajeev Joshi , Jayadev Misra, Toward a theory of maximally concurrent programs (shortened version), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.319-328, July 16-19, 2000, Portland, Oregon, United States
	Ernest H. Page , Arnold Buss , Paul A. Fishwick , Kevin J. Healy , Richard E. Nance , Ray J. Paul, Web-based simulation: revolution or evolution?, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.10 n.1, p.3-17, Jan. 2000
	Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum, Discovering auxiliary information for incremental computation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.157-170, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Albert R. Meyer , Joseph Y. Halpern, Axiomatic Definitions of Programming Languages: A Theoretical Assessment, Journal of the ACM (JACM), v.29 n.2, p.555-576, April 1982
	John S. Givler , Richard B. Kieburtz, Schema recognition for program transformations, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.74-84, August 06-08, 1984, Austin, Texas, United States
	Jon L. Bentley , Robert Sedgewick, Fast algorithms for sorting and searching strings, Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms, p.360-369, January 05-07, 1997, New Orleans, Louisiana, United States
	Howard Barringer , Ruurd Kuiper , Amir Pnueli, Now you may compose temporal logic specifications, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.51-63, December 1984
	Y. C. Hsu , Y. Pan , W. J. Kubitz, A path selection global touter, Proceedings of the 24th ACM/IEEE conference on Design automation, p.641-644, June 28-July 01, 1987, Miami Beach, Florida, United States
	R. J. R. Back , F. Kurki-Suonio, Distributed cooperation with action systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.4, p.513-554, Oct. 1988
	H. Partsch , R. Steinbrüggen, Program Transformation Systems, ACM Computing Surveys (CSUR), v.15 n.3, p.199-236, Sept. 1983
	Paul C. Attie , E. Allen Emerson, Synthesis of concurrent systems for an atomic read/atomic write model of computation, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.111-120, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	Michael J. Wise, A parallel Prolog: The construction of a data driven model, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.56-66, August 15-18, 1982, Pittsburgh, Pennsylvania, United States
	Andy Podgurski, Reliability, sampling, and algorithmic randomness, Proceedings of the symposium on Testing, analysis, and verification, p.11-20, October 08-10, 1991, Victoria, British Columbia, Canada
	Berhard Scholz , Johann Blieberger , Thomas Fahringer, Symbolic pointer analysis for detecting memory leaks, ACM SIGPLAN Notices, v.34 n.11, p.104-113, Nov. 1999
	Cormac Flanagan , James B. Saxe, Avoiding exponential explosion: generating compact verification conditions, ACM SIGPLAN Notices, v.36 n.3, p.193-205, March 2001
	Stephan Herrmann , Mira Mezini, PIROL: a case study for multidimensional separation of concerns in software engineering environments, ACM SIGPLAN Notices, v.35 n.10, p.188-207, Oct. 2000
	Orna Grumberg , Nissim Francez , Shmuel Katz, Fair termination of communicating processes, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.254-265, August 27-29, 1984, Vancouver, British Columbia, Canada
	Pierre N. Robillard, Schematic pseudocode for program constructs and its computer automation by SCHEMACODE, Communications of the ACM, v.29 n.11, p.1072-1089, Nov. 1986
	Paul C. Attie , E. Allen Emerson, Synthesis of concurrent programs for an atomic read/write model of computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.2, p.187-242, March 2001
	Andrzej Blikle, On correct program development, Proceedings of the 4th international conference on Software engineering, p.164-173, September 17-19, 1979, Munich, Germany
	J. L. W. Kessels, On-the-fly optimization of data structures, Communications of the ACM, v.26 n.11, p.895-901, Nov. 1983
	Jianxin Li, Improvements to systematic program development, Proceedings of the 30th annual Southeast regional conference, April 08-10, 1992, Raleigh, North Carolina
	Vijay A. Saraswat , Martin Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.232-245, December 1989, San Francisco, California, United States
	Anish Arora , Paul C. Attie , E. Allen Emerson, Synthesis of fault-tolerant concurrent programs, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.173-182, June 28-July 02, 1998, Puerto Vallarta, Mexico
	Paul Pritchard, Some negative results concerning prime number generators, Communications of the ACM, v.27 n.1, p.53-57, Jan. 1984
	Cormac Flanagan , Shaz Qadeer, Predicate abstraction for software verification, ACM SIGPLAN Notices, v.37 n.1, p.191-202, Jan. 2002
	Subrata Dasgupta, Some Aspects of High-Level Microprogramming, ACM Computing Surveys (CSUR), v.12 n.3, p.295-323, Sept. 1980
	Gerard Shabe , Suzanne Peck , Robert Hickey, Team dynamics in systems development and management, Proceedings of the fifteenth annual SIGCPR conference, p.164-189, August 18-19, 1977, Arlington, Virginia, United States
	Andrew D. Bailey, Jr. , James H. Gerlach , R. Preston McAfee , Andrew B. Whinston, An OIS model for internal accounting control evaluation, ACM Transactions on Information Systems (TOIS), v.1 n.1, p.25-44, Jan. 1983
	David L. Parnas, Designing software for ease of extension and contraction, Proceedings of the 3rd international conference on Software engineering, p.264-277, May 10-12, 1978, Atlanta, Georgia, United States
	Patrick Cousot , Radhia Cousot, Automatic synthesis of optimal invariant assertions: Mathematical foundations, ACM SIGPLAN Notices, v.12 n.8, p.1-12, August 1977
	Robert J. Ellison, A programming sequence for the liberal arts college, ACM SIGCSE Bulletin, v.12 n.1, p.161-164, February 1980
	John Bunda, APL function definition notation, ACM SIGAPL APL Quote Quad, v.17 n.4, p.253-255, May 1987
	Ray Boute, Systems semantics: principles, applications, and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.118-155, Jan. 1988
	Ïsmaïlcem Budak Arpinar , Uğur Halici , Sena Arpinar , Asuman Doğaç, Formalization of Workflows and Correctness Issues in the Presence of Concurrency, Distributed and Parallel Databases, v.7 n.2, p.199-248, April 1999
	Harald Wertz, A system to improve incorrect programs, Proceedings of the 4th international conference on Software engineering, p.286-293, September 17-19, 1979, Munich, Germany
	David Harel, And/Or Programs: A New Approach to Structured Programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.1-17, Jan. 1980
	David Harel , Vaughan R. Pratt, Nondeterminism in logics of programs, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.203-213, January 23-25, 1978, Tucson, Arizona
	Irene Greif , Albert R. Meyer, Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.484-507, Oct. 1981
	Terry Winograd, Beyond programming languages, Communications of the ACM, v.22 n.7, p.391-401, July 1979
	John C. Reynolds, Reasoning about arrays, Communications of the ACM, v.22 n.5, p.290-299, May 1979
	Robert Sedgewick, Permutation Generation Methods, ACM Computing Surveys (CSUR), v.9 n.2, p.137-164, June 1977
	D. E. Perry, Software interconnection models, Proceedings of the 9th international conference on Software Engineering, p.61-69, March 1987, Monterey, California, United States
	P. Netinant , C. A. Constantinides , T. Elrad , M. E. Fayad, Aspect-oriented frameworks (poster session): the design of adaptable operating systems, Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), p.61-62, January 2000, Minneapolis, Minnesota, United States
	L. Colussi, Recursion As an Effective Step in Program Development, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.1, p.55-67, Jan. 1984
	Emmanuel Letier , Axel van Lamsweerde, Deriving operational software specifications from system goals, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	Lawrence Yelowitz , Arthur G. Duncan, Abstractions, instantiations, and proofs of marking algorithms, ACM SIGPLAN Notices, v.12 n.8, p.13-21, August 1977
	Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens, An experiment in formal software development: using the B theorem prover on a VDM case study, Communications of the ACM, v.34 n.5, p.62-ff., May 1991
	Robert Cartwright , Robert Hood , Philip Matthews, Paths: an abstract alternative to pointers, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.14-27, January 26-28, 1981, Williamsburg, Virginia
	M. J. Sergot , F. Sadri , R. A. Kowalski , F. Kriwaczek , P. Hammond , H. T. Cory, The British Nationality Act as a logic program, Communications of the ACM, v.29 n.5, p.370-386, May 1986
	R. A. Earnshaw, Line generation for incremental and raster devices, ACM SIGGRAPH Computer Graphics, v.11 n.2, p.199-205, Summer 1977
	Manfred Broy , Martin Wirsing , Peter Pepper, On the algebraic definition of programming languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.1, p.54-99, Jan. 1987
	V. R. Pratt, A practical decision method for propositional dynamic logic (Preliminary Report), Proceedings of the tenth annual ACM symposium on Theory of computing, p.326-337, May 01-03, 1978, San Diego, California, United States
	Robert L. Constable, On the theory of programming logics, Proceedings of the ninth annual ACM symposium on Theory of computing, p.269-285, May 04-04, 1977, Boulder, Colorado, United States
	David D. Riley, Teaching problem solving in an introductory computer science class, ACM SIGCSE Bulletin, v.13 n.1, p.244-251, February 1981
	Van E. Kelly, The CRITTER system: Automated critiquing of digital circuit designs, Proceedings of the 21st conference on Design automation, p.419-425, June 25-27, 1984, Albuquerque, New Mexico, United States
	Neal S. Coulter, Information hiding, the Intel iAPX 432,and Ada, Proceedings of the 20th annual Southeast regional conference, p.160-167, April 01-03, 1982, Knoxville, Tennessee
	Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
	Leslie Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.872-923, May 1994
	G. Ramalingam , Alex Warshavsky , John Field , Deepak Goyal , Mooly Sagiv, Deriving specialized program analyses for certifying component-client conformance, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Hans-Juergen Boehm, Side effects and aliasing can have simple axiomatic descriptions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.637-655, Oct. 1985
	Carroll Morgan, The specification statement, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.3, p.403-419, July 1988
	Thomas Reps , Bowen Alpern, Interactive proof checking, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.36-45, January 15-18, 1984, Salt Lake City, Utah, United States
	Christopher Cherniak, Undebuggability and cognitive science, Communications of the ACM, v.31 n.4, p.402-412, April 1988
	Patrick Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science, v.277 n.1-2, p.47-103, April 28, 2002
	John H. Williams, On the Development of the Algebra of Functional Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.733-757, Oct. 1982
	Nobuyuki Nezu , Huizhu Lu, Modeling deflection networks: design and specification, Proceedings of the 1999 ACM symposium on Applied computing, p.66-73, February 28-March 02, 1999, San Antonio, Texas, United States
	Ken Abernethy , John C. Kelly, Comparing object-oriented and data flow models—a case study, Proceedings of the 1992 ACM annual conference on Communications, p.541-547, March 03-05, 1992, Kansas City, Missouri, United States
	H. T. Kung , Philip L. Lehman, Concurrent manipulation of binary search trees, ACM Transactions on Database Systems (TODS), v.5 n.3, p.354-382, Sept. 1980
	Leslie Lamport, win and sin: predicate transformers for concurrency, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.3, p.396-428, July 1990
	Daniel P. Friedman , David S. Wise, A note on conditional expressions, Communications of the ACM, v.21 n.11, p.931-933, Nov. 1978
	Mani Chandy , Jayadev Misra, An example of stepwise refinement of distributed programs: quiescence detection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.326-343, July 1986
	D. Garlan , S. Jha , D. Notkin , J. Dingel, Reasoning about implicit invocation, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.209-221, Nov. 1998
	Barry Dwyer, One more time — how to update a master file, Communications of the ACM, v.24 n.1, p.3-8, Jan. 1981
	Wei Chen, A formal approach to program inversion, Proceedings of the 1990 ACM annual conference on Cooperation, p.398-403, February 20-22, 1990, Washington, D.C., United States
	Lie-Quan Lee , Andrew Lumsdaine, Generic programming for high performance scientific applications, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.112-121, November 03-05, 2002, Seattle, Washington, USA
	Robert L. Constable , Scott D. Johnson, A PL/CV precis, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.7-20, January 29-31, 1979, San Antonio, Texas
	Jean-Paul Bodeveix , Mamoun Filali, Reduction and Quantifier Elimination Techniques for Program Validation, Formal Methods in System Design, v.20 n.1, p.69-89, January 2002
	V. Berzins , Luqi , A. Yehudai, Using Transformations in Specification-Based Prototyping, IEEE Transactions on Software Engineering, v.19 n.5, p.436-452, May 1993
	Arshad Jhumka , Martin Hiller , Vilgot Claesson , Neeraj Suri, On systematic design of globally consistent executable assertions in embedded software, ACM SIGPLAN Notices, v.37 n.7, July 2002
	R. G. Dromey, Systematic Program Development, IEEE Transactions on Software Engineering, v.14 n.1, p.12-29, January 1988
	James,H. Fetzer, Program verification: the very idea, Communications of the ACM, v.31 n.9, p.1048-1063, Sept. 1988
	Lambert Meertens, Abstracto 84: The next generation, Proceedings of the 1979 annual conference, p.33-39, January 1979
	Jon Louis Bentley , Daniel D. Sleator , Robert E. Tarjan , Victor K. Wei, A locally adaptive data compression scheme, Communications of the ACM, v.29 n.4, p.320-330, April 1986
	David Ginat, Starting top-down, refining bottom-up, sharpening by zoom-in, ACM SIGCSE Bulletin, v.33 n.4, December 2001
	Pankaj K. Garg , Sanjay Bhansali, Process programming by hindsight, Proceedings of the 14th international conference on Software engineering, p.280-293, May 11-15, 1992, Melbourne, Australia
	En-Hsin Huang , Tzilla Elrad, Scheduling control mechanisms for managing indeterminate object behavior, Proceedings of the 1998 ACM symposium on Applied Computing, p.650-654, February 27-March 01, 1998, Atlanta, Georgia, United States
	Paolo A. G. Sivilotti, A class of synchronization systems that permit the use of large atomic blocks, Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research, p.21, November 30-December 03, 1998, Toronto, Ontario, Canada
	Ali Mili , Jules Desharnais , Jean Raynomd Gagné, Formal models of stepwise refinements of programs, ACM Computing Surveys (CSUR), v.18 n.3, p.231-276, Sept. 1986
	Jeff Gray , Ted Bapty , Sandeep Neema , James Tuck, Handling crosscutting constraints in domain-specific modeling, Communications of the ACM, v.44 n.10, p.87-93, Oct. 2001
	Fred Calm , John R. White, An extension to algebraic specifications to incorporate state behavior, Proceedings of the 1979 annual conference, p.212-220, January 1979
	Gary W. Clow, A global routing algorithm for general cells, Proceedings of the 21st conference on Design automation, p.45-51, June 25-27, 1984, Albuquerque, New Mexico, United States
	Colin Runciman , Ian Toyn, Retrieving re-usable software components by polymorphic type, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.166-173, September 11-13, 1989, Imperial College, London, United Kingdom
	C. Lafontaine , Y. Ledru , P.-Y. Schobbens, An experiment in formal software development: using the B theorem prover on a VDM case study, Proceedings of the 12th international conference on Software engineering, p.34-42, March 26-30, 1990, Nice, France
	Jean-Pierre Banâtre , Daniel Le Métayer, Programming by multiset transformation, Communications of the ACM, v.36 n.1, p.98-111, Jan. 1993
	Robert J. Walker , Elisa L. A. Baniassad , Gail C. Murphy, An initial assessment of aspect-oriented programming, Proceedings of the 21st international conference on Software engineering, p.120-130, May 16-22, 1999, Los Angeles, California, United States
	Wim H. Hesselink, A mathematical approach to nondeterminism in data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.87-117, Jan. 1988
	B. A. Sheil, The Psychological Study of Programming, ACM Computing Surveys (CSUR), v.13 n.1, p.101-120, March 1981
	Robert Balzer, Tolerating inconsistency, Proceedings of the 13th international conference on Software engineering, p.158-165, May 13-17, 1991, Austin, Texas, United States
	Norman Ramsey, Correctness of trap-based breakpoint implementations, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.15-24, January 16-19, 1994, Portland, Oregon, United States
	Alan R. Feuer , Narain H. Gehani, Comparison of the Programming Languages C and Pascal, ACM Computing Surveys (CSUR), v.14 n.1, p.73-92, March 1982
	James C. Pleasant, Systematic program development/proof using Dromey's method: some comparisons with top-down design, Proceedings of the 19th annual conference on Computer Science, p.169-173, April 1991, San Antonio, Texas, United States
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	S. G. van der Meulen, ALGOL 68 might-have-beens, ACM SIGPLAN Notices, v.12 n.6, p.1-18, June 1977
	A. N. Habermann, Technological advances in software engineering, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.29-37, February 1986, Cincinnati, Ohio, United States
	Yiannis N. Moschovakis, Computable process, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.72-80, December 1989, San Francisco, California, United States
	Zhichen Xu , Barton P. Miller , Thomas Reps, Safety checking of machine code, ACM SIGPLAN Notices, v.35 n.5, p.70-82, May 2000
	Ivan M. Campos , Gerald Estrin, Specialization of SARA for software synthesis, Proceedings of the Symposium on Design Automation and Microprocessors, p.87-94, February 24-25, 1977
	Mauno Rönkkö , Anders P. Ravn , Kaisa Sere, Hybrid action systems, Theoretical Computer Science, v.290 n.1, p.937-973, 1 January 2003
	David Ginat, Effective binary perspectives in algorithmic problem solving, Journal on Educational Resources in Computing (JERIC), v.2 n.2, p.4-es, June 2002
	Talal Maghrabi , Forouzan Golshani, Automatic program generation using sequent calculus, Proceedings of the 1992 ACM annual conference on Communications, p.73-82, March 03-05, 1992, Kansas City, Missouri, United States
	M. C.B. Hennessy , E. A. Ashcroft, Parameter-passing mechanisms and nondeterminism, Proceedings of the ninth annual ACM symposium on Theory of computing, p.306-311, May 04-04, 1977, Boulder, Colorado, United States
	D. L. Parnas, Predicate Logic for Software Engineering, IEEE Transactions on Software Engineering, v.19 n.9, p.856-862, September 1993
	S. L. Murphy , A. U. Shankar, A verified connection management protocol for the transport layer, ACM SIGCOMM Computer Communication Review, v.17 n.5, p.110-125, Oct./Nov. 1987
	David Gries, Is Sometimes Ever Better Than Always?, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.258-265, Oct. 1979
	Eric C. R. Hehner, Predicative programming Part I, Communications of the ACM, v.27 n.2, p.134-143, Feb. 1984
	Christian Creveuil , Gruia-Catalin Roman, Formal specification and design of a message router, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.4, p.271-307, Oct. 1994
	Keith L. Clark , Steve Gregory, A relational language for parallel programming, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.171-178, October 18-22, 1981, Portsmouth, New Hampshire, United States
	Richard C. Holt , James R. Cordy, The Turing programming language, Communications of the ACM, v.31 n.12, p.1410-1423, Dec. 1988
	John Guttag , J. J. Horning, Formal specification as a design tool, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.251-261, January 28-30, 1980, Las Vegas, Nevada
	G.-C. Roman , C. D. Wilcox, Architecture-Directed Refinement, IEEE Transactions on Software Engineering, v.20 n.4, p.239-258, April 1994
	J. J. T. Kleijn , M. A. Reniers , J. E. Rooda, Analysis of an Industrial System, Formal Methods in System Design, v.22 n.3, p.249-282, May 2003
	Valdis Berzins , Michael Gray , David Naumann, Abstraction-based software development, Communications of the ACM, v.29 n.5, p.402-415, May 1986
	H. C. Cunningham , G. C. Roman, A UNITY-Style Programming Logic for Shared Dataspace Programs, IEEE Transactions on Parallel and Distributed Systems, v.1 n.3, p.365-376, July 1990
	K. Rustan M. Leino, Recursive object types in a logic of object-oriented programs, Nordic Journal of Computing, v.5 n.4, p.330-360, Winter 1998
	Ana Moreira , João Araújo , Isabel Brito, Crosscutting quality attributes for requirements engineering, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
	Emmanuel Letier , Axel van Lamsweerde, Deriving operational software specifications from system goals, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Amr Sabry, Modeling quantum computing in Haskell, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, p.39-49, August 28-28, 2003, Uppsala, Sweden
	Mira Mezini , Klaus Ostermann, Integrating independent components with on-demand remodularization, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Dana Richards, On the file update problems, ACM SIGCSE Bulletin, v.13 n.3, p.38-39, September 1981
	Elena A. Troubitsyna, Reliability assessment through probabilistic refinement, Nordic Journal of Computing, v.6 n.3, p.320-342, Fall 1999
	Torben Amtoft , Charles Consel , Olivier Danvy , Karoline Malmkjær, The abstraction and instantiation of string-matching programs, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
	Nicoletta Fornara , Marco Colombetti, Defining interaction protocols using a commitment-based agent communication language, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia
	Nurit Dor , Michael Rodeh , Mooly Sagiv, CSSV: towards a realistic tool for statically detecting all buffer overflows in C, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Anish Arora , Sandeep S. Kulkarni, Component Based Design of Multitolerant Systems, IEEE Transactions on Software Engineering, v.24 n.1, p.63-78, January 1998
	Don Batory , Jacob Neal Sarvela , Axel Rauschmayer, Scaling step-wise refinement, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Mads Sig Ager , Olivier Danvy , Henning Korsholm Rohde, Fast partial evaluation of pattern matching in strings, ACM SIGPLAN Notices, v.38 n.10, p.3-9, October 2003
	C. A. R. Hoare, Assertions: a personal perspective, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	V. Cortellessa , D. Del Gobbo , M. Shereshevsky , J. Desharnais , A. Mili, Relational characterizations of system fault tolerance, Science of Computer Programming, v.56 n.3, p.343-361, May/June 2005
	Anish Arora , Mohamed Gouda, Closure and Convergence: A Foundation of Fault-Tolerant Computing, IEEE Transactions on Software Engineering, v.19 n.11, p.1015-1027, November 1993
	Edward A. Lee , Thomas M. Parks, Dataflow process networks, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Rafael Corchuelo , José A. Pérez , Antonio Ruiz-Cortés, Aspect-oriented interaction in multi-organisational web-based systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.41 n.4, p.385-406, 15 March 2003
	Magne Haveraaen , Helmer André Friis , Tor Arne Johansen, Formal software engineering for computational modelling, Nordic Journal of Computing, v.6 n.3, p.241-270, Fall 1999
	Mauno Rönkkö , Xuandong Li, Linear hybrid action systems, Nordic Journal of Computing, v.8 n.1, p.159-177, Spring 2001
	Wolfgang Polak, Program verification based on denotation semantics, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.149-158, January 26-28, 1981, Williamsburg, Virginia
	Sten Andler, Predicate path expressions, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.226-236, January 29-31, 1979, San Antonio, Texas
	H. Conrad Cunningham , Yinxiu Cai, Specification and refinement of a message router, Proceedings of the 7th international workshop on Software specification and design, December 06-07, 1993, Redondo Beach, California
	C. H. Lindsey, Structure charts a structured alternative to flowcharts, ACM SIGPLAN Notices, v.12 n.11, p.36-49, November 1977
	Lamia Labed Jilani , Jules Desharnais , Ali Mili, Defining and Applying Measures of Distance Between Specifications, IEEE Transactions on Software Engineering, v.27 n.8, p.673-703, August 2001
	Samuel T. Redwine, A paradigm for dealing with exceptions, ACM SIGPLAN Notices, v.16 n.5, p.36-38, May 1981
	Rhys S. Francis, Containment defines a class of recursive data structures, ACM SIGPLAN Notices, v.18 n.4, p.58-64, April 1983
	Ralph-Johan Back , Joakim von Wright, Enforcing behavior with contracts, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Transactions on Software Engineering, v.27 n.2, p.99-123, February 2001
	Timothy S. Gegg-Harrison , Gary R. Bunce , Rebecca D. Ganetzky , Christina M. Olson , Joshua D. Wilson, Studying program correctness by constructing contracts, ACM SIGCSE Bulletin, v.35 n.3, September 2003
	Roy F. Keller, On control constructs for constructing programs, ACM SIGPLAN Notices, v.12 n.9, p.36-44, September 1977
	Stef. W. Postma, FEA: a formal English subset for Algebra/Assertions, ACM SIGPLAN Notices, v.13 n.7, p.43-59, July 1978
	Vaclav Chvalovsky, Computer science education at universities: the case of developing countries, ACM SIGCSE Bulletin, v.10 n.1, February 1978
	Rudolf Berghammer , Florian Reuter, A linear approximation algorithm for bin packing with absolute approximation factor 3/2, Science of Computer Programming, v.48 n.1, p.67-80, July 2003
	Awadhesh Kumar Singh , Anup Kumar Bandyopadhyay, Adding the leads-to operator to Dijkstra's calculus, ACM SIGPLAN Notices, v.39 n.2, February 2004
	R. Kurki-Suonio, Action systems in incremental and aspect-oriented modeling, Distributed Computing, v.16 n.2-3, p.201-217, September 2003
	Enric Rodríguez-Carbonell , Deepak Kapur, Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations, Proceedings of the 2004 international symposium on Symbolic and algebraic computation, p.266-273, July 04-07, 2004, Santander, Spain
	K. T. Narayana , M. Clint, On the formal treatment of a permutation finding program, ACM SIGPLAN Notices, v.16 n.10, p.62-73, October 1981
	Paul C. Attie , Anish Arora , E. Allen Emerson, Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.125-185, January 2004
	Manfred Broy, Declarative specification and declarative programming, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	Old-fashioned logic for verification, ACM SIGSOFT Software Engineering Notes, v.10 n.4, August 1985
	Orna Grumberg , Flavio Lerda , Ofer Strichman , Michael Theobald, Proof-guided underapproximation-widening for multi-process systems, ACM SIGPLAN Notices, v.40 n.1, p.122-131, January 2005
	Roman Manevich , Manu Sridharan , Stephen Adams , Manuvir Das , Zhe Yang, PSE: explaining program failures via postmortem static analysis, ACM SIGSOFT Software Engineering Notes, v.29 n.6, November 2004
	J. V. Tucker , J. I. Zucker, Abstract versus concrete computation on metric partial algebras, ACM Transactions on Computational Logic (TOCL), v.5 n.4, p.611-668, October 2004
	Yifeng Chen , J. W. Sanders, Logic of global synchrony, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.2, p.221-262, March 2004
	Leonard H. Weiner, The roots of structured programming, ACM SIGCSE Bulletin, v.10 n.1, February 1978
	John C. Zubeck, Implementing Reuse with RAD Tools' Native Objects, Computer, v.30 n.10, p.60-65, October 1997
	Dino Pedreschi , Salvatore Ruggieri, On logic programs that always succeed, Science of Computer Programming, v.48 n.2-3, p.163-196, August 2003
	A. Udaya Shankar , Simon S. Lam, A stepwise refinement heuristic for protocol construction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.3, p.417-461, July 1992
	C. D. S. Moss, Structured programming with loop statements, ACM SIGPLAN Notices, v.15 n.1, p.86-94, January 1980
	Krzysztof R. Apt , M. H. van Emden, Contributions to the Theory of Logic Programming, Journal of the ACM (JACM), v.29 n.3, p.841-862, July 1982
	W. Damm, A Microprogramming Logic, IEEE Transactions on Software Engineering, v.14 n.5, p.559-574, May 1988
	Barry Dwyer, Technical correspondence: File updating—still once more. author's response, Communications of the ACM, v.24 n.8, p.538-539, Aug. 1981
	G.-C. Roma , R. F. Gamble , W. E. Ball, Formal Derivation of Rule-Based Programs, IEEE Transactions on Software Engineering, v.19 n.3, p.277-296, March 1993
	A. Udaya Shankar , Simon S. Lam, An HDLC protocol specification and its verification using image protocols, ACM Transactions on Computer Systems (TOCS), v.1 n.4, p.331-368, Nov. 1983
	Uday S. Reddy, Formal methods in transformational derivation of programs, ACM SIGSOFT Software Engineering Notes, v.15 n.4, p.104-114, Sep. 1990
	Nissim Francez , Shaula A. Yemini, Symmetric intertask communication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.622-636, Oct. 1985
	G. Guida , G. Mauri, Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology, IEEE Transactions on Knowledge and Data Engineering, v.5 n.2, p.204-224, April 1993
	Guy L. Steele , Jon L. White, How to print floating-point numbers accurately, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Frank S. De Boer , Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi, Proving concurrent constraint programs correct, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.685-725, Sept. 1997
	Wolfgang K. Giloi, Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language, IEEE Annals of the History of Computing, v.19 n.2, p.17-24, April 1997
	Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983
	Martin Odersky, Programming with variable functions, ACM SIGPLAN Notices, v.34 n.1, p.105-116, Jan. 1999
	Paul C. Attie , E. Allen Emerson, Synthesis of concurrent systems with many similar processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.1, p.51-115, Jan. 1998
	Daniel Dominic Sleator , Robert Endre Tarjan, Self-adjusting binary search trees, Journal of the ACM (JACM), v.32 n.3, p.652-686, July 1985
	R. Kurki-Suonio , H.-M. Järvinen, Action system approach to the specification and design of distributed systems, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.34-40, May 1989
	J. W. de Bakker , J. I. Zucker, Denotational semantics of concurrency, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.153-158, May 05-07, 1982, San Francisco, California, United States
	Nachum Dershowitz , Zohar Manna, The evolution of programs: a system for automatic program modification, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.144-154, January 17-19, 1977, Los Angeles, California
	Richard D. Schlichting , Fred B. Schneider, Using message passing for distributed programming: proof rules and disciplines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.402-431, July 1984
	Ehud Shapiro, Systems programming in concurrent prolog, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.93-105, January 15-18, 1984, Salt Lake City, Utah, United States
	Joseph L. Bates , Robert L. Constable, Proofs as programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.113-136, Jan. 1985
	David Harel, Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness, Journal of the ACM (JACM), v.33 n.1, p.224-248, Jan. 1986
	D. Harel , A. R. Meyer , V. R. Pratt, Computability and completeness in logics of programs (Preliminary Report), Proceedings of the ninth annual ACM symposium on Theory of computing, p.261-268, May 04-04, 1977, Boulder, Colorado, United States
	George C. Necula, Translation validation for an optimizing compiler, ACM SIGPLAN Notices, v.35 n.5, p.83-94, May 2000
	Albert R. Meyer , Joseph Y. Halpern, Axiomatic definitions of programming languages: a theoretical assessment (preliminary report), Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.203-212, January 28-30, 1980, Las Vegas, Nevada
	A. K. McIver, Quantitative program logic and expected time bounds in probabilistic distributed algorithms, Theoretical Computer Science, v.282 n.1, p.191-219, June 7, 2002
	Tal Lev-Ami , Thomas Reps , Mooly Sagiv , Reinhard Wilhelm, Putting static analysis to work for verification: A case study, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.26-38, Sept. 2000
	Michael R. Donat, Enhancing cleanroom techniques with refinement calculus, Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, p.20, November 07-09, 1995, Toronto, Ontario, Canada
	David Arnow, Teaching programming to liberal arts students: using loop invariants, ACM SIGCSE Bulletin, v.26 n.1, p.141-144, March 1994
	Joe W. Duran, Heuristics for program synthesis using loop invariants, Proceedings of the 1978 annual conference, p.891-900, January 1978
	Mark R. Blackburn, Using Expert Systems to Construct Formal Specifications, IEEE Expert: Intelligent Systems and Their Applications, v.4 n.1, p.62-74, March 1989
	Edgar Knapp, An exercise in the formal derivation of parallel programs: maximum flows in graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.2, p.203-223, April 1990
	Wing C. Tam, Teaching loop invariants to beginners by examples, ACM SIGCSE Bulletin, v.24 n.1, p.92-96, March 1992
	Roberto Giacobazzi , Isabella Mastroeni, Non-Standard Semantics for Program Slicing, Higher-Order and Symbolic Computation, v.16 n.4, p.297-339, December 2003
	Reino Kurki-Suonio, Real time: further misconceptions (or half-truths) [real-time systems], Computer, v.27 n.6, p.71-76, June 1994
	Ying Liu , Ambuj K. Singh , Rajive L. Bagrodia, A Decompositional Approach to the Design of Parallel Programs, IEEE Transactions on Software Engineering, v.20 n.12, p.914-932, December 1994
	Alfonso Fuggetta , Carlo Ghezzi , Dino Mandrioli, Some Consideration on Real-Time Behavior of Concurrent Programs, IEEE Transactions on Software Engineering, v.15 n.3, p.356-359, March 1989
	Don Batory , Jia Liu , Jacob Neal Sarvela, Refinements and multi-dimensional separation of concerns, ACM SIGSOFT Software Engineering Notes, v.28 n.5, September 2003
	C. M. Davidson, Quicksort Revisited, IEEE Transactions on Software Engineering, v.14 n.10, p.1480-1481, October 1988
	Boutheina Chetali, Formal Verification of Concurrent Programs Using the Larch Prover, IEEE Transactions on Software Engineering, v.24 n.1, p.46-62, January 1998
	Alexander L. Wolf , Lori A. Clarke , Jack C. Wileden, A Model of Visibility Control, IEEE Transactions on Software Engineering, v.14 n.4, p.512-520, April 1988
	Virginia Niculescu, On Data Distributions in the Construction of Parallel Programs, The Journal of Supercomputing, v.29 n.1, p.5-25, July 2004
	J. von Wright, Towards a refinement algebra, Science of Computer Programming, v.51 n.1-2, p.23-45, May 2004
	Arthur Sedgwick, Structuring control in Fortran, ACM SIGPLAN Notices, v.12 n.11, p.55-60, November 1977
	Martin Ward, Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm, IEEE Transactions on Software Engineering, v.22 n.9, p.665-686, September 1996
	Ralph-Johan Back , Viorel Preoteasa, Reasoning about recursive procedures with parameters, Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, p.1-7, August 26, 2003, Uppsala, Sweden
	A. K. Elmagarmid , N. Soundararajan , M. T. Liu, A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof, IEEE Transactions on Software Engineering, v.14 n.10, p.1443-1452, October 1988
	A. Toni Cohen , Thomas J. Myers, Information sharing, ACM SIGPLAN Notices, v.20 n.9, August 1985
	John K. Dixon , John McLean , David L. Parnas, Rapid prototyping by means of abstract module specifications written as trace axioms, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.45-49, December 1982
	Haim I. Kylov , S. Nudelman, Structured programs in PL/I, ACM SIGPLAN Notices, v.16 n.4, April 1981
	M. P. Ward, Pigs from sausages? Reengineering from assembler to C via FermaT transformations, Science of Computer Programming, v.52 n.1-3, p.213-255, August 2004
	David Ginat, Embedding instructive assertions in program design, ACM SIGCSE Bulletin, v.36 n.3, September 2004
	Guifa Teng , Xiaodong Liu, Support software evolution with abstration rules and programming knowledge patterns, Focus on computational neurobiology, Nova Science Publishers, Inc., Commack, NY, 2004
	D. L. Parnas, Lastig gepreek uit nuenen, ACM SIGSOFT Software Engineering Notes, v.6 n.3, p.64-65, July 1981
	Paulo Borba , Augusto Sampaio , Ana Cavalcanti , Márcio Cornélio, Algebraic reasoning for object-oriented programming, Science of Computer Programming, v.52 n.1-3, p.53-100, August 2004
	David Ginat, Algorithmic patterns and the case of the sliding delta, ACM SIGCSE Bulletin, v.36 n.2, June 2004
	R. F. Keller, On selective and repetitive constructs, ACM SIGPLAN Notices, v.14 n.11, November 1979
	Robert Gries , James A. Woodward, Software tools used in the development of a VLSI VAX Microcomputer, ACM SIGMICRO Newsletter, v.15 n.4, p.55-58, Dec. 1984
	Yanhong A. Liu, Efficiency by Incrementalization: An Introduction, Higher-Order and Symbolic Computation, v.13 n.4, p.289-313, Dec. 1, 2000
	A. J. Cowling, The first decade of an undergraduate degree programme in software engineering, Annals of Software Engineering, v.6 n.1-4, p.61-90, April 1999
	Dirk Bull , Pieter de Villiers, Using SPIN to verify protocols at the implementation level, Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, September 16-18, 2002, Port Elizabeth, South Africa
	Mark Saaltink, Relational semantics, ACM SIGSOFT Software Engineering Notes, v.10 n.4, August 1985
	Matthew B. Dwyer , Lori A. Clarke , Jamieson M. Cobleigh , Gleb Naumovich, Flow analysis for verifying properties of concurrent software systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.4, p.359-430, October 2004
	Dines Bjørner , Jorge R. Cuéllar, Software engineering education: Rôles of formal specification and design calculi, Annals of Software Engineering, v.6 n.1-4, p.365-409, April 1999
	John Backus, The History of Fortran I, II, and III, IEEE Annals of the History of Computing, v.20 n.4, p.68-78, October 1998
	Tessa Lau , Pedro Domingos , Daniel S. Weld, Learning programs from traces using version space algebra, Proceedings of the 2nd international conference on Knowledge capture, October 23-25, 2003, Sanibel Island, FL, USA
	Alan Creak, Edsger W. Dijkstra, ACM SIGPLAN Notices, v.37 n.12, December 2002
	Scaling Step-Wise Refinement, IEEE Transactions on Software Engineering, v.30 n.6, p.355-371, June 2004
	Kim B. Bruce, Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list, ACM SIGCSE Bulletin, v.36 n.4, December 2004
	Reino Kurki-Suonio, Operational specification with joint actions: serializable databases, Distributed Computing, v.6 n.1, p.19-37, July 1992
	Raymond T. Boute, Simplifying ADA by removing limitations, ACM SIGPLAN Notices, v.15 n.2, p.17-29, February 1980
	Raymond Boute, Supertotal Function Definition in Mathematics and Software Engineering, IEEE Transactions on Software Engineering, v.26 n.7, p.662-672, July 2000
	S. Antoy , J. Gannon, Using Term Rewriting to Verify Software, IEEE Transactions on Software Engineering, v.20 n.4, p.259-274, April 1994
	LeRoy Johnson, do considered reflectively: a contribution to group programming, ACM SIGPLAN Notices, v.15 n.12, p.43-43, December 1980
	Eric C. R. Hehner, Structuring, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.201-205, January 17-19, 1977, Los Angeles, California
	Cormac Flanagan , K. Rustan M. Leino , Mark Lillibridge , Greg Nelson , James B. Saxe , Raymie Stata, Extended static checking for Java, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Anish Arora , Sandeep S. Kulkarni, Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance, IEEE Transactions on Software Engineering, v.24 n.6, p.435-450, June 1998
	Jawed Siddiqi , Ian Morrey , Richard Hibberd , Graham Buckberry, Understanding and exploring formal specifications, Annals of Software Engineering, v.6 n.1-4, p.411-432, April 1999
	Judy M. Bishop, The Effect of Data Abstraction on Loop Programming Techniques, IEEE Transactions on Software Engineering, v.16 n.4, p.389-402, April 1990
	John Backus, The history of FORTRAN I, II, and III, ACM SIGPLAN Notices, v.13 n.8, p.165-180, August 1978
	Dina Q. Goldin , Scott A. Smolka , Paul C. Attie , Elaine L. Sonderegger, Turing machines, transition systems, and interaction, Information and Computation, v.194 n.2, p.101-128, November 1, 2004
	A. J. Gerber, Process synchronization by counter variables, ACM SIGOPS Operating Systems Review, v.11 n.4, p.6-17, October 1977
	Jeannette M. Wing, A Specifier's Introduction to Formal Methods, Computer, v.23 n.9, p.8-23, September 1990
	Renaud Pawlak , Lionel Seinturier , Laurence Duchien , Gérard Florin , Fabrice Legond-Aubry , Laurent Martelli, JAC: an aspect-based distributed dynamic framework, Software—Practice & Experience, v.34 n.12, p.1119-1148, October 2004
	Matthias Blume , David McAllester, A sound (and complete) model of contracts, ACM SIGPLAN Notices, v.39 n.9, September 2004
	Chia-Chu Chiang, Teaching a formal method in a software engineering course, Proceedings of the 2nd annual conference on Mid-south college computing, p.39-52, April 02-03, 2004, Little Rock, Arkansas
	Friedrich Ludwig Bauer , Bernhard Möller , Helmut Partsch , Peter Pepper, Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, v.15 n.2, p.165-180, February 1989
	Jorge L. Diaz-Herrera, Pragmatic problems with step-wise refinement program development, ACM SIGSOFT Software Engineering Notes, v.9 n.2, p.80-88, April 1984
	Frank Ng , Gregory Butler , Judy Kay, An Intelligent Tutoring System for the Dijkstra-Gries Methodology, IEEE Transactions on Software Engineering, v.21 n.5, p.415-428, May 1995
	Greg Nelson, Verifying reachability invariants of linked structures, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.38-47, January 24-26, 1983, Austin, Texas
	Christian Lengauer , Chua-Huang Huang, A mechanically certified theorem about optimal concurrency of sorting networks, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.307-317, January 01, 1986, St. Petersburg Beach, Florida
	H. Trickey , E. S. Lee, Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer, ACM SIGCSE Bulletin, v.11 n.1, p.240-244, February 1979
	Hervé Brönnimann , John Iacono , Jyrki Katajainen , Pat Morin , Jason Morrison , Godfried Toussaint, Space-efficient planar convex hull algorithms, Theoretical Computer Science, v.321 n.1, p.25-40, June 16, 2004
	Nancy G. Leveson , Stephen S. Cha , Timothy J. Shimeall, Safety Verification of Ada Programs Using Software Fault Trees, IEEE Software, v.8 n.4, p.48-59, July 1991
	Hans-J. Boehm, A logic for expressions with side-effects, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.268-280, January 25-27, 1982, Albuquerque, Mexico
	T. Camp , P. Kearns , M. Ahuja, Proof Rules for Flush Channels, IEEE Transactions on Software Engineering, v.19 n.4, p.366-378, April 1993
	Jana Dospisil, Software metrics, information and entropy, Practicing software engineering in the 21st century, Idea Group Publishing, Hershey, PA, 2003
	Cliff B. Jones, The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, v.25 n.2, p.26-49, April 2003
	Cormac Flanagan, Automatic software model checking via constraint logic, Science of Computer Programming, v.50 n.1-3, p.253-270, March 2004
	Paolo Bientinesi , John A. Gunnels , Margaret E. Myers , Enrique S. Quintana-Ortí , Robert A. van de Geijn, The science of deriving dense linear algebra algorithms, ACM Transactions on Mathematical Software (TOMS), v.31 n.1, p.1-26, March 2005
	Joep L. W. Kessels, Calculational derivation of a counter with bounded response time and bounded power dissipation, Distributed Computing, v.8 n.3, p.143-149, March 1995
	Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar, Permissive interfaces, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Thomas Ball , Todd Millstein , Sriram K. Rajamani, Polymorphic predicate abstraction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.2, p.314-343, March 2005
	J. Plosila , K. Sere , M. Waldén, Asynchronous system synthesis, Science of Computer Programming, v.55 n.1-3, p.259-288, March 2005
	Wim H. Hesselink , Jan Friso Groote, Wait-free concurrent memory management by create and read until deletion (CaRuD), Distributed Computing, v.14 n.1, p.31-39, January 2001
	Awadhesh Kumar Singh , Anup Kumar Bandyopadhyay, Verifying mutual exclusion and liveness properties with split preconditions, Journal of Computer Science and Technology, v.19 n.6, p.795-802, November 2004
	David Hemer , Gregory Long , Paul Strooper, Plug-in proof support for formal development environments, Proceedings of the 2005 Australasian symposium on Theory of computing, p.69-79, January 01, 2005, Newcastle, Australia
	K. Rustan M. Leino, Efficient weakest preconditions, Information Processing Letters, v.93 n.6, p.281-288, 31 March 2005
	Robert R. Painter , David Coppit, A model for software plans, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	C. W. Liew, Teaching software development skills early in the Curriculum through software engineering, Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, June 27-29, 2005, Caparica, Portugal
	Paul C. Attie , Nissim Francez , Orna Grumberg, Fairness and hyperfairness in multi-party interactions, Distributed Computing, v.6 n.4, p.245-254, July 1993
	B. T. Denvir, On orthogonality in programming languages, ACM SIGPLAN Notices, v.14 n.7, p.18-30, July 1979
	Paul Klint , Ralf Lämmel , Chris Verhoef, Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.3, p.331-380, July 2005
	Ranjit Jhala , Rupak Majumdar, Path slicing, ACM SIGPLAN Notices, v.40 n.6, June 2005
	L. Orman, Functional Development of Database Applications, IEEE Transactions on Software Engineering, v.14 n.9, p.1280-1292, September 1988
	Zohar Manna , Richard Waldinger, Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, v.18 n.8, p.674-704, August 1992
	Jeannette M. Wing , Mark R. Nixon, Extending Ina Jo with Temporal Logic, IEEE Transactions on Software Engineering, v.15 n.2, p.181-197, February 1989
	C. J. Harrison, ICPL: an initial concurrent programming language, ACM SIGCSE Bulletin, v.34 n.4, December 2002
	Kuo-Chu Lee , Chi-Hung Tzeng , Shing-Tsaan Huang, A space-efficient self-stabilizing algorithm for measuring the size of ring networks, Information Processing Letters, v.94 n.3, p.125-130, 16 May 2005
	Gylver Wagnon , Dennis J. W. Maine, An E-Machine workbench, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	K. Rustan M. Leino , Todd Millstein , James B. Saxe, Generating error traces from verification-condition counterexamples, Science of Computer Programming, v.55 n.1-3, p.209-226, March 2005
	Haitham S. Hamza, Separation of concerns for evolving systems: a stability-driven approach, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Doug Goldson , Brijesh Dongol, Concurrent program design in the extended theory of Owicki and Gries, Proceedings of the 2005 Australasian symposium on Theory of computing, p.41-50, January 01, 2005, Newcastle, Australia
	Annabelle McIver , Carroll Morgan, Abstraction and refinement in probabilistic systems, ACM SIGMETRICS Performance Evaluation Review, v.32 n.4, p.41-47, March 2005
	Nadeem Jamali , Shangping Ren, A layered architecture for real-time distributed multi-agent systems, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Chris Hunter , Peter Robinson , Paul Strooper, Agent-based distributed software verification, Proceedings of the Twenty-eighth Australasian conference on Computer Science, p.159-164, January 01, 2005, Newcastle, Australia
	C. Mohan, Survey of recent operating systems research, designs and implementations, ACM SIGOPS Operating Systems Review, v.12 n.1, p.53-89, January 1978
	Francis Jambon, First steps in the retro-engineering of a GUI toolkit in the B language, Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine, p.118-125, November 25-28, 2003, Caen, France
	Roberto Giacobazzi , Isabella Mastroeni, Transforming semantics by abstract interpretation, Theoretical Computer Science, v.337 n.1-3, p.1-50, 9 June 2005
	Mary Croarken , Nathan Ensmenger, Events & sightings, IEEE Annals of the History of Computing, v.25 n.1, p.65-69, January 2003
	Shuvendu K. Lahiri , Shaz Qadeer, Verifying properties of well-founded linked lists, ACM SIGPLAN Notices, v.41 n.1, p.115-126, January 2006
	Darse Billings , Lourdes Peña , Jonathan Schaeffer , Duane Szafron, Learning to play strong poker, Machines that learn to play games, Nova Science Publishers, Inc., Commack, NY, 2001
	L. Lamport, A general construction for expressing repetition, ACM SIGPLAN Notices, v.14 n.3, March 1979
	Sandeep S. Kulkarni , Ali Ebnenasir, Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance, IEEE Transactions on Dependable and Secure Computing, v.2 n.3, p.201-215, July 2005
	Sylvie Damy , Guy-René Perrin, Techniques for the design of communicating processes, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	Mike Barnett , K. Rustan M. Leino, Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
	Nils Anders Danielsson , John Hughes , Patrik Jansson , Jeremy Gibbons, Fast and loose reasoning is morally correct, ACM SIGPLAN Notices, v.41 n.1, p.206-217, January 2006
	Robert I. Winner , Edward M. Carter, Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	Knut H. Pedersen , Constantinos Constantinides, AspectAda: aspect oriented programming for ada95, ACM SIGAda Ada Letters, v.XXV n.4, p.79-92, December 2005
	Awais Rashid , Peter Sawyer, A database evolution taxonomy for object-oriented databases: Research Articles, Journal of Software Maintenance and Evolution: Research and Practice, v.17 n.2, p.93-141, March 2005
	Alec Yasinsac , Justin Childs, Formal analysis of modern security protocols, Information Sciences—Informatics and Computer Science: An International Journal, v.171 n.1-3, p.189-211, 4 March 2005
	Robert N. Britcher, Using Inspections to Investigate Program Correctness, Computer, v.21 n.11, p.38-44, November 1988
	J. Field , D. Goyal , G. Ramalingam , E. Yahav, Typestate verification: abstraction techniques and complexity results, Science of Computer Programming, v.58 n.1-2, p.57-82, October 2005
	M. Evangelist , N. Francez , S. Katz, Multiparty Interactions for Interprocess Communication and Synchronization, IEEE Transactions on Software Engineering, v.15 n.11, p.1417-1426, November 1989
	Ralph-Johan Back , Luigia Petre , Ivan Porres, Continuous action systems as a model for hybrid systems, Nordic Journal of Computing, v.8 n.1, p.2-21, Spring 2001
	Lee Keener, Bibliography, Technology supporting business solutions: Advances in computation: Theory and practice, Nova Science Publishers, Inc., Commack, NY, 2003
	Gavin Lowe , Jim Davies, Using CSP to verify sequential consistency, Distributed Computing, v.12 n.2/3, p.91-103, June 1999
	Alan Wagner , Subrata Dasgupta, Axiomatic proof rules for a machine-specific microprogramming language, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	Annabelle McIver , Carroll Morgan, A probabilistic approach to information hiding, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	David Lorge Parnas , Jan Madey , Michal Iglewski, Precise Documentation of Well-Structured Programs, IEEE Transactions on Software Engineering, v.20 n.12, p.948-976, December 1994
	Yanhong A. Liu , Scott D. Stoller , Ning Li , Tom Rothamel, Optimizing aggregate array computations in loops, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.1, p.91-125, January 2005
	Jeffrey Fischer , Ranjit Jhala , Rupak Majumdar, Joining dataflow with predicates, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	K. L. Clark, PARLOG and its Applications, IEEE Transactions on Software Engineering, v.14 n.12, p.1792-1804, December 1988
	C. Pair, GRIN: The History of a Laboratory, IEEE Annals of the History of Computing, v.12 n.3, p.159-166, July 1990
	Sebastian Danicic , Mohammed Daoudi , Chris Fox , Mark Harman , Robert M. Hierons , John R. Howroyd , Lahcen Ourabya , Martin Ward, ConSUS: a light-weight program conditioner, Journal of Systems and Software, v.77 n.3, p.241-262, September 2005
	Gruia-Catalin Roman , H. Conrad Cunningham, Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency, IEEE Transactions on Software Engineering, v.16 n.12, p.1361-1373, December 1990
	Isabelle Dony , Baudouin Le Charlier, A tool for helping teach a programming method, ACM SIGCSE Bulletin, v.38 n.3, September 2006
	Hai Zhou, Deriving a new efficient algorithm for min-period retiming, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China
	Vijay K. Garg , Neeraj Mittal, A Critique of Java for Concurrent Programming, IEEE Distributed Systems Online, v.6 n.9, p.3, September 2005
	Harlan D. Mills , Victor R. Basili , John D. Gannon , Richard G. Hamlet, Mathematical Principles for a First Course in Software Engineering, IEEE Transactions on Software Engineering, v.15 n.5, p.550-559, May 1989
	Ernst-Rüdiger Olderog, A characterization of Hoare's logic for programs with Pascal-like procedures, Proceedings of the fifteenth annual ACM symposium on Theory of computing, p.320-329, December 1983
	Raymond T. Boute, Calculational semantics: Deriving programming theories from equations by functional predicate calculus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.4, p.747-793, July 2006
	Yamine Ait-Ameur , Idir Ait-Sadoune , Jean-Marc Mota , Mickael Baron, Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine, p.123-130, April 18-21, 2006, Montreal, Canada
	Karl Lermer , Colin J. Fidge , Ian J. Hayes, A theory for execution-time derivation in real-time programs, Theoretical Computer Science, v.346 n.1, p.3-27, 23 November 2005
	Joe Hurd , Annabelle McIver , Carroll Morgan, Probabilistic guarded commands mechanized in HOL, Theoretical Computer Science, v.346 n.1, p.96-112, 23 November 2005
	Máté Tejfel , Zoltán Horváth , Tamás Kozsik, Extending the sparkle core language with object abstraction, Acta Cybernetica, v.17 n.2, p.419-445, January 2005
	Jean-Pierre Talpin , David Berner , Sandeep Kumar Shukla , Paul Le Guernic , Abdoulaye Gamatié , Rajesh Gupta, Behavioral type inference: part II - behavioral type inference for system design, Formal methods and models for system design: a system level perspective, Kluwer Academic Publishers, Norwell, MA, 2004
	Élodie-Jane Sims, Extending separation logic with fixpoints and postponed substitution, Theoretical Computer Science, v.351 n.2, p.258-275, 21 February 2006
	Nancy G. Leveson, Software safety: why, what, and how, ACM Computing Surveys (CSUR), v.18 n.2, p.125-163, June 1986
	T. Karvi , M. Tienari , R. Kaivola, Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics, Formal Methods in System Design, v.26 n.3, p.293-317, May 2005
	Mads Sig Ager , Olivier Danvy , Henning Korsholm Rohde, Fast partial evaluation of pattern matching in strings, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.4, p.696-714, July 2006
	Gordon Fraser , Gerald Steinbauer , Franz Wotawa, Plan execution in dynamic environments, Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, p.208-217, June 22-24, 2005, Bari, Italy
	Lori A. Clarke , David S. Rosenblum, A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
	Paris C. Kanellakis , Alex A. Shvartsman, Efficient parallel algorithms can be made robust, Distributed Computing, v.5 n.4, p.201-217, April 1992
	Jean-Pierre Talpin , Paul Guernic, An algebraic theory for behavioral modeling and protocol synthesis in system design, Formal Methods in System Design, v.28 n.2, p.131-151, March 2006
	Gordon S. Novak Jr., Creation of Views for Reuse of Software with Different Data Representations, IEEE Transactions on Software Engineering, v.21 n.12, p.993-1005, December 1995
	J. Billington , G. R. Wheeler , M. C. Wilbur-Ham, PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols, IEEE Transactions on Software Engineering, v.14 n.3, p.301-316, March 1988
	Daniel Dominic Sleator , Robert Endre Tarjan, Self-adjusting binary trees, Proceedings of the fifteenth annual ACM symposium on Theory of computing, p.235-245, December 1983
	Jean-François Monin, Proving the Correctness of the Standardized Algorithm for ABR Conformance, Formal Methods in System Design, v.17 n.3, p.221-243, Dec. 2000
	Franklin Kemp, Design of a structured APL, ACM SIGAPL APL Quote Quad, v.9 n.1, September 1978
	Tzong-Jye Liu , Shing-Tsaan Huang, Phase Synchronization on Asynchronous Uniform Rings with Odd Size, IEEE Transactions on Parallel and Distributed Systems, v.12 n.6, p.638-652, June 2001
	Norman H. Cohen, Gödel numbers: a new approach to structured programming, ACM SIGPLAN Notices, v.15 n.4, p.70-74, April 1980
	Morgan McGuire , George Stathis , Hanspeter Pfister , Shriram Krishnamurthi, Abstract shade trees, Proceedings of the 2006 symposium on Interactive 3D graphics and games, March 14-17, 2006, Redwood City, California
	V. R. Pratt, Process logic: preliminary report, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.93-100, January 29-31, 1979, San Antonio, Texas
	J. C. Huang, State Constraints and Pathwise Decomposition of Programs, IEEE Transactions on Software Engineering, v.16 n.8, p.880-896, August 1990
	D. Guaspari , C. Marceau , W. Polak, Formal Verification of Ada Programs, IEEE Transactions on Software Engineering, v.16 n.9, p.1058-1075, September 1990
	A. C. Chen , C. I. Wu, A Parallel Execution Model of Logic Programs, IEEE Transactions on Parallel and Distributed Systems, v.2 n.1, p.79-92, January 1991
	R. Sherman , A. Pnueli , D. Harel, Is the interesting part of process logic uninteresting?: a translation from PL to PDL, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.347-360, January 25-27, 1982, Albuquerque, Mexico
	Gruia-Catalin Roman , Peter J. McCann, A Notation and Logic for Mobile Computing, Formal Methods in System Design, v.20 n.1, p.47-68, January 2002
	LeRoy Johnson, <u>do</u> considered <u>ob</u>viously <u>odd</u> in three dimensions, ACM SIGPLAN Notices, v.15 n.12, p.44-44, December 1980
	Fairouz Tchier, Demonic fixed points, Acta Cybernetica, v.17 n.3, p.533-555, January 2006
	Greg Reeve , Steve Reeves, Logic and refinement for charts, Proceedings of the 29th Australasian Computer Science Conference, p.13-23, January 16-19, 2006, Hobart, Australia
	Dhaminda Abeywickrama , Sita Ramakrishnan, A model-based approach for engineering pervasive services in SOAs, Proceedings of the 5th international conference on Pervasive services, July 06-10, 2008, Sorrento, Italy
	David Brumley , Juan Caballero , Zhenkai Liang , James Newsome , Dawn Song, Towards automatic discovery of deviations in binary implementations with applications to error detection and fingerprint generation, Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium, p.1-16, August 06-10, 2007, Boston, MA
	Robert B. Terwilliger, Toward tools to support the Gries/Dijkstra design process, ACM SIGSOFT Software Engineering Notes, v.18 n.2, p.50-59, April 1993
	Brian J. Dupée, Object oriented methods using Fortran 90, ACM SIGPLAN Fortran Forum, v.13 n.1, p.21-30, March 1994
	Neil Ghani , Christoph Lüth , Federico De Marchi , John Power, Dualising initial algebras, Mathematical Structures in Computer Science, v.13 n.2, p.349-370, April 2003
	Martin Neil , Norman Fenton , Lars Nielson, Building large-scale Bayesian networks, The Knowledge Engineering Review, v.15 n.3, p.257-284, September 2000
	Ralph D. Jeffords, Technical correspondence: updating a master file --- yet another time, Communications of the ACM, v.25 n.6, p.390-392, June 1982
	Raymonde Guindon, Designing the design process: exploiting opportunistic thoughts, Human-Computer Interaction, v.5 n.2, p.305-344, June 1990
	Hartmut Höft, Implementation of a non-deterministic loop, ACM SIGCSE Bulletin, v.23 n.2, p.24-28, June 1991
	Arthur Fleck, Prolog as the first programming language, ACM SIGCSE Bulletin, v.39 n.4, December 2007
	C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.596-619, Oct. 1983
	D. Craigen , S. Kromodimoeljo , I. Meisels , A. Neilson , B. Pase , M. Saaltink, m-EVES: A tool for verifying software, Proceedings of the 10th international conference on Software engineering, p.324-333, April 11-15, 1988, Singapore
	Nachum Dershowitz, Program abstraction and instantiation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.446-477, July 1985
	Uday S. Reddy, Programming with sequences, Proceedings of the 20th annual Southeast regional conference, p.189-198, April 01-03, 1982, Knoxville, Tennessee
	Lester O. Lobo , James D. Arthur, Local and global analysis: complementary activities for increasing the effectiveness of requirements verification and validation, Proceedings of the 43rd annual southeast regional conference, March 18-20, 2005, Kennesaw, Georgia
	Michael E. Caspersen , Michael Kölling, A novice's process of object-oriented programming, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Jedidiah R. Crandall , Gary Wassermann , Daniela A. S. de Oliveira , Zhendong Su , S. Felix Wu , Frederic T. Chong, Temporal search: detecting hidden malware timebombs with virtual machines, ACM SIGPLAN Notices, v.41 n.11, November 2006
	Jörg Kienzle , Shane Sendall, Addressing concurrency in object-oriented software development, Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, October 16-19, 2006, Toronto, Ontario, Canada
	James Newsome , David Brumley , Jason Franklin , Dawn Song, Replayer: automatic protocol replay by binary analysis, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
	Antonio Carvalho Júnior , Leila Silva , Márcio Cornélio, Using CafeOBJ to Mechanise Refactoring Proofs and Application, Electronic Notes in Theoretical Computer Science (ENTCS), 184, p.39-61, July, 2007
	David Déharbe , Sergio Medeiros, Aspect-oriented design in systemC: implementation and applications, Proceedings of the 19th annual symposium on Integrated circuits and systems design, August 28-September 01, 2006, Ouro Preto, MG, Brazil
	Hidetaka Kondoh , Kokichi Futatsugi, To use or not to use the goto statement: programming styles viewed from Hoare logic, Science of Computer Programming, v.60 n.1, p.82-116, March 2006
	Alice Miller , Alastair Donaldson , Muffy Calder, Symmetry in temporal logic model checking, ACM Computing Surveys (CSUR), v.38 n.3, p.8-es, 2006
	Ernie Manes, Boolean restriction categories and taut monads, Theoretical Computer Science, v.360 n.1, p.77-95, 21 August 2006
	Wei-Mei Chen, Probabilistic analysis of algorithms for the Dutch national flag problem, Theoretical Computer Science, v.341 n.1, p.398-410, 5 September 2005
	Rajeev Joshi , Greg Nelson , Yunhong Zhou, Denali: A practical algorithm for generating optimal code, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.6, p.967-989, November 2006
	Friedrich Steimann, The paradoxical success of aspect-oriented programming, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Timothy S. Gegg-Harrison, Constructing contracts: Making discrete mathematics relevant to beginning programmers, Journal on Educational Resources in Computing (JERIC), v.5 n.2, p.3-es, June 2005
	Greta Yorsh , Thomas Ball , Mooly Sagiv, Testing, abstraction, theorem proving: better together!, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	Shang-Wen Cheng , David Garlan , Bradley Schmerl, Architecture-based self-adaptation in the presence of multiple objectives, Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, May 21-22, 2006, Shanghai, China
	David Evans , Michael Peck, Inculcating invariants in introductory courses, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Einar Broch Johnsen , Olaf Owe , Ingrid Chieh Yu, Creol: a type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, v.365 n.1, p.23-66, 10 November 2006
	Joseph M. Morris , Malcolm Tyrrell, Terms with unbounded demonic and angelic nondeterminacy, Science of Computer Programming, v.65 n.2, p.159-172, March, 2007
	Michael A. Colón, Polynomial approximations of the relational semantics of imperative programs, Science of Computer Programming, v.64 n.1, p.76-96, January, 2007
	E. Rodríguez-Carbonell , D. Kapur, Automatic generation of polynomial invariants of bounded degree using abstract interpretation, Science of Computer Programming, v.64 n.1, p.54-75, January, 2007
	Ranjit Jhala , Rupak Majumdar, Interprocedural analysis of asynchronous programs, ACM SIGPLAN Notices, v.42 n.1, January 2007
	E. Rodríguez-Carbonell , D. Kapur, Generating all polynomial invariants in simple loops, Journal of Symbolic Computation, v.42 n.4, p.443-476, April, 2007
	Arnoldo José Müller Molina , Takeshi Shinohara, On approximate matching of programs for protecting libre software, Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, October 16-19, 2006, Toronto, Ontario, Canada
	John Backus, The history of Fortran I, II, and III, History of programming languages I, ACM Press, New York, NY, 1978
	Marcel Oliveira , Ana Cavalcanti , Jim Woodcock, A Denotational Semantics for Circus, Electronic Notes in Theoretical Computer Science (ENTCS), 187, p.107-123, July, 2007
	Tomi Westerlund , Juha Plosila, Time Aware System Refinement, Electronic Notes in Theoretical Computer Science (ENTCS), 187, p.91-106, July, 2007
	Ali Ebnenasir, Diconic addition of failsafe fault-tolerance, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	James Newsome , Stephen McCamant , Dawn Song, Measuring channel capacity to distinguish undue influence, Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, June 15-21, 2009, Dublin, Ireland
	Edmund Clarke , Himanshu Jain , Daniel Kroening, Verification of SpecC using predicate abstraction, Formal Methods in System Design, v.30 n.1, p.5-28, February 2007
	Neil D. Jones , Nils Andersen, Flow analysis of lazy higher-order functional programs, Theoretical Computer Science, v.375 n.1-3, p.120-136, May, 2007
	Michael L. Brodie, On modelling behavioural semantics of databases, Proceedings of the seventh international conference on Very Large Data Bases, p.32-42, September 09-11, 1981, Cannes, France
	Philip A. Bernstein , Barbara T. Blaustein , Edmund M. Clarke, Fast maintenance of semantic integrity assertions using redundant aggregate data, Proceedings of the sixth international conference on Very Large Data Bases, p.126-136, October 01-03, 1980, Montreal, Quebec, Canada
	Alexander Borgida , Harry K. T. Wong, Data models and data manipulation languages: complementary semantics and proof theory, Proceedings of the seventh international conference on Very Large Data Bases, p.260-271, September 09-11, 1981, Cannes, France
	Yixiang Chen , Hengyang Wu, Domain semantics of possibility computations, Information Sciences: an International Journal, v.178 n.12, p.2661-2679, June, 2008
	Patrick M. Rondon , Ming Kawaguci , Ranjit Jhala, Liquid types, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Nels E. Beckman , Aditya V. Nori , Sriram K. Rajamani , Robert J. Simmons, Proofs from tests, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
	Douglas R. Smith, Requirement enforcement by transformation automata, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.5-14, March 13-13, 2007, Vancouver, British Columbia, Canada
	Martin Ward , Hussein Zedan, Slicing as a program transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.2, p.7-es, April 2007
	Manuela Xavier , Ana Cavalcanti, Mechanised Refinement of Procedures, Electronic Notes in Theoretical Computer Science (ENTCS), 184, p.63-80, July, 2007
	Virginia Niculescu, Cost-efficient parallel programs based on set-distributions for polynomial interpolation, Journal of Parallel and Distributed Computing, v.67 n.8, p.935-946, August, 2007
	W.L. Yeung, CSP-Based Verification for Web Service Orchestration and Choreography, Simulation, v.83 n.1, p.65-74, January 2007
	María Adela Grando , Victor Mitrana, A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming, Fundamenta Informaticae, v.76 n.3, p.325-336, August 2007
	F. P. Deek, A Framework For An Automated Problem Solving And Program Development Environment, Journal of Integrated Design & Process Science, v.3 n.3, p.1-13, August 1999
	Andrew Ireland , Jamie Stark, Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis, Automated Software Engineering, v.13 n.1, p.65-105, January 2006
	Karun N. Biyani , Sandeep S. Kulkarni, Mixed-Mode Adaptation in Distributed Systems: A Case Study, Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p.14, May 20-26, 2007
	Ali Ebnenasir, Designing Run-Time Fault-Tolerance Using Dynamic Updates, Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p.15, May 20-26, 2007
	Mana Taghdiri , Daniel Jackson, Inferring specifications to detect errors in code, Automated Software Engineering, v.14 n.1, p.87-121, March 2007
	Tom M. Mitchell , Richard M. Keller , Smadar T. Kedar-Cabelli, Explanation-Based Generalization: A Unifying View, Machine Learning, v.1 n.1, p.47-80
	Marcus E. Markiewicz , Carlos J. P. Lucena , Paulo S. C. Alencar , Donald D. Cowan, Views and Patterns in E-Commerce Application Design, Annals of Software Engineering, v.13 n.1-4, p.111-140, June 2002
	Dines Bjørner, Pinnacles of software engineering: 25 years of formal methods, Annals of Software Engineering, v.10 n.1-4, p.11-66, 2000
	Catholijn M. Jonker , Jan Treur, Agent-Based Simulation of Animal Behaviour, Applied Intelligence, v.15 n.2, p.83-115, September-October 2001
	Johann Blieberger , Thomas Fahringer , Bernhard Scholz, Symbolic Cache Analysis for Real-Time Systems, Real-Time Systems, v.18 n.2-3, p.181-215, May 2000
	Dimitra Giannakopoulou , Corina S. Pasareanu , Jamieson M. Cobleigh, Assume-Guarantee Verification of Source Code with Design-Level Assumptions, Proceedings of the 26th International Conference on Software Engineering, p.211-220, May 23-28, 2004
	Dirk Beyer , Adam J. Chlipala , Rupak Majumdar, Generating Tests from Counterexamples, Proceedings of the 26th International Conference on Software Engineering, p.326-335, May 23-28, 2004
	Salvador Trujillo , Maider Azanza , Oscar Diaz , Rafael Capilla, Exploring Extensibility of Architectural Design Decisions, Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent, p.10, May 20-26, 2007
	Ramesh Bharadwaj , Constance L. Heitmeyer, Model Checking Complete Requirements Specifications Using Abstraction, Automated Software Engineering, v.6 n.1, p.37-68, January 1999
	A. A. Shalyto, Logic Control and “Reactive” Systems: Algorithmization and Programming, Automation and Remote Control, v.62 n.1, p.1-29, January 2001
	Darrell Ince, Eight Desert Island Books, Automated Software Engineering, v.8 n.3-4, p.355-358, August 2001
	Andrew Ireland , Jamie Stark, Proof planning for strategy development, Annals of Mathematics and Artificial Intelligence, v.29 n.1-4, p.65-97, 2000
	John Harrison, Floating Point Verification in HOL Light: The Exponential Function, Formal Methods in System Design, v.16 n.3, p.271-305, June 2000
	Jozef Hooman , Onno Van Roosmalen, An Approach to Platform Independent Real-Time Programming: (1) Formal Description, Real-Time Systems, v.19 n.1, p.61-85, July 2000
	Matthias Blume , David McAllester, Sound and complete models of contracts, Journal of Functional Programming, v.16 n.4-5, p.375-414, July 2006
	Ellie D'hondt , Prakash Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science, v.16 n.3, p.429-451, June 2006
	Henning Christiansen , Davide Martinenghi, On Simplification of Database Integrity Constraints, Fundamenta Informaticae, v.71 n.4, p.371-417, December 2006
	Patrick Doherty , Witold Łukaszewicz , Ewa Madalińska-Bugaj, The PMA and Relativizing Minimal Change for Action Update, Fundamenta Informaticae, v.44 n.1-2, p.95-131, January 2000
	F. M. Puchkov , K. A. Shapchenko, Static Analysis Method for Detecting Buffer Overflow Vulnerabilities, Programming and Computing Software, v.31 n.4, p.179-189, July 2005
	Pankaj K. Garg, Desert Island Reading: Back to the Future, Automated Software Engineering, v.12 n.3, p.383-384, July 2005
	M. Waldén , K. Sere, Reasoning about Action Systems using the B-Method, Formal Methods in System Design, v.13 n.1, p.5-35, May 1, 1998
	John C. Molluzzo, A curriculum for a University course in advanced COBOL, ACM SIGCSE Bulletin, v.15 n.3, p.44-49, Sept. 1983
	John H. Remmers, Should we really teach more about the GOTO? (a reaction to an article by H.D. Shapiro), ACM SIGCSE Bulletin, v.15 n.3, p.36-39, Sept. 1983
	Ivo Van Horebeek , Johan Lewi, Are constructive formal specifications less abstract?, ACM SIGPLAN Notices, v.25 n.5, p.60-68, May 1990
	C. K. Yuen, Hamming numbers, lazy evaluation, and eager disposal, ACM SIGPLAN Notices, v.27 n.8, p.71-75, Aug. 1992
	Reinder J. Bril, On cacheability of lock-variables in tightly coupled multiprocessor systems, ACM SIGARCH Computer Architecture News, v.15 n.3, p.25-32, June 1987
	Nimish Shah, Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003, Journal of Functional Programming, v.14 n.5, p.588-589, September 2004
	Dennis E. Hamilton, We have met the enemy and she is us: a mixup'd search for software engineering, ACM SIGSOFT Software Engineering Notes, v.6 n.2, p.18-22, April 1981
	Ajay Chander , David Espinosa , Nayeem Islam , Peter Lee , George C. Necula, Enforcing resource bounds via static verification of dynamic checks, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.5, p.28-es, August 2007
	Adid Jazaa, Toward better software automation, ACM SIGSOFT Software Engineering Notes, v.20 n.1, p.79-84, Jan. 1995
	David Hemmendinger, The `Hamming' in Prolog, ACM SIGPLAN Notices, v.23 n.6, p.115-120, June, 1988
	David Hemmendinger, The “Hamming problem” in Prolog, ACM SIGPLAN Notices, v.23 n.4, p.81-86, April, 1988
	J. Fullerton, An alternate design for Fortran 8X, ACM SIGPLAN Fortran Forum, v.6 n.3, p.31-40, Dec. 1987
	G. J. Popek , J. J. Horning , B. W. Lampson , J. G. Mitchell , R. L. London, Notes on the design of Euclid, ACM SIGPLAN Notices, v.12 n.3, p.11-18, March 1977
	David Gries, Where is programming methodology these days?, ACM SIGCSE Bulletin, v.34 n.4, December 2002
	Alexy V. Khrabrov, An Ada-like separate compilation style in C, ACM SIGAda Ada Letters, v.XV n.2, p.23-30, Mar./April 1995
	Manuela Xavier , Ana Cavalcanti , Augusto Sampaio, Type Checking Circus Specifications, Electronic Notes in Theoretical Computer Science (ENTCS), 195, p.75-93, January, 2008
	Richard J. Botting, Into the fourth dimension—an introduction to dynamic analysis and design, ACM SIGSOFT Software Engineering Notes, v.11 n.2, p.36-48, April 1986
	M. Harman , S. Danicic, Projecting functional models of imperative programs, ACM SIGPLAN Notices, v.28 n.11, p.33-41, Nov. 1993
	T. A. Kovats, Comments on innovative control constructs in pancode and EPN, ACM SIGPLAN Notices, v.23 n.12, p.151-157, Dec. 1988
	Tsvi Bar-David, Object oriented librarianship, ACM SIGPLAN OOPS Messenger, v.5 n.1, p.1-5, Jan. 1994
	Jozef Hvorecký, On a connection between programming and mathematics, ACM SIGCSE Bulletin, v.22 n.4, p.53-54, Dec. 1990
	Haim Kilov, Objects concepts and bibliography, ACM SIGPLAN Notices, v.26 n.10, p.11-12, Oct. 1991
	Yuan Feng , Runyao Duan , Zhengfeng Ji , Mingsheng Ying, Proof rules for the correctness of quantum programs, Theoretical Computer Science, v.386 n.1-2, p.151-166, October, 2007
	Yen-Jen Oyang, Exploiting multi-way branching to boost superscalar processor performance, ACM SIGPLAN Notices, v.26 n.3, p.68-78, March 1991
	C. K. Yuen , M. D. Feng, Parallel multiplication: a case study in parallel programming, ACM SIGPLAN Notices, v.29 n.3, p.12-17, March 1994
	Yuri Gurevich, Logic activities in Europe, ACM SIGACT News, v.25 n.2, p.11-24, June 1994
	Daniel J. Salomon, Four Dimensions of programming-language independence, ACM SIGPLAN Notices, v.27 n.3, p.35-53, March 1992
	T. Kovats, A conservative alternative to pancode, ACM SIGPLAN Notices, v.25 n.11, p.80-84, Nov. 1990
	D. Jonsson, The flow of control notations pancode and boxcharts, ACM SIGPLAN Notices, v.25 n.8, p.106-119, Aug. 1990
	Tiberiu Seceleanu , Tomi Westerlund, Aspects of Formal and Graphical Design of a Bus System, Proceedings of the conference on Design, automation and test in Europe, p.10396, February 16-20, 2004
	D. Lesaint , G. Papamargaritis, Towards Software Product-Lines — A Refinement-Oriented Generation Language, BT Technology Journal, v.21 n.4, p.162-172, 2003
	Jean-Christophe Filliâtre, Verification of non-functional programs using interpretations in type theory, Journal of Functional Programming, v.13 n.4, p.709-745, July 2003
	Barbara Weber , Manfred Reichert , Stefanie Rinderle-Ma, Change patterns and change support features - Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, v.66 n.3, p.438-466, September, 2008
	Gerhard Schellhorn, Completeness of ASM Refinement, Electronic Notes in Theoretical Computer Science (ENTCS), 214, p.25-49, June, 2008
	Agostino Bruzzone , Alberto Tremori , Marina Massei, HLA and human behavior models, Proceedings of the 2008 Spring simulation multiconference, April 14-17, 2008, Ottawa, Canada
	Anthony I. Wasserman, The design of PLAIN: support for systematic programming, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California
	Z. Manna , A. Pnueli, Specification and verification of concurrent programs by A∀automata, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.1-2, January 21-23, 1987, Munich, West Germany
	Raymond P.L. Buse , Westley R. Weimer, A metric for software readability, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
	N. V. Shilov , I. S. Anureev , E. V. Bodin, Generation of correctness conditions for imperative programs, Programming and Computing Software, v.34 n.6, p.307-321, November 2008
	Lutz Schröder , Till Mossakowski, HasCasl: Integrated higher-order specification and program development, Theoretical Computer Science, v.410 n.12-13, p.1217-1260, March, 2009
	Karun N. Biyani , Sandeep S. Kulkarni, Assurance of dynamic adaptation in distributed systems, Journal of Parallel and Distributed Computing, v.68 n.8, p.1097-1112, August, 2008
	Enrique Alba , Francisco Chicano, Observations in using parallel and sequential evolutionary algorithms for automatic software testing, Computers and Operations Research, v.35 n.10, p.3161-3183, October, 2008
	John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, ACM Turing award lectures, ACM, New York, NY, 2007
	Jayasri Banerjee , Anup Kumar Bandyopadhyay , Ajit Kumar Mandal, Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus, ACM SIGPLAN Notices, v.42 n.5, p.10-15, May 2007
	Jan L. G. Dietz , Jan A. P. Hoogervorst, Enterprise ontology in enterprise engineering, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Jeremy E. Dawson, Compound monads in specification languages, Proceedings of the 2007 workshop on Programming languages meets program verification, October 05-05, 2007, Freiburg, Germany
	Hai Zhou, A new efficient retiming algorithm derived by formal manipulation, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.13 n.1, p.1-19, January 2008
	Stephen Davies, "Why should i care?": making programming assignments relevant for non-majors, Journal of Computing Sciences in Colleges, v.23 n.3, p.90-97, January 2008
	Jayasri Banerjee , Anup Kumar Bandyopadhyay , Ajit Kumar Mandal, On the correctness issues in two-process mutual exclusion algorithms, ACM SIGSOFT Software Engineering Notes, v.32 n.6, November 2007
	Anup Kumar Bandyopadhyay, Weakest precondition based verification tool that models spatial ordering, ACM SIGSOFT Software Engineering Notes, v.33 n.2, March 2008
	David Ginat, Elaborating heuristic reasoning and rigor with mathematical games, ACM SIGCSE Bulletin, v.39 n.4, December 2007
	Enrico Bocca , Chiara Briano , Davide Modula , Luca Pierfederici , Claudia Frydman, Intelligent agents for moving and operating computer generated forces, Proceedings of the 2007 summer computer simulation conference, July 16-19, 2007, San Diego, California
	Jayasri Banerjee , Anup Kumar Bandyopadhyay , Ajit Kumar Mandal, Ordering of events in two-process concurrent system, ACM SIGSOFT Software Engineering Notes, v.32 n.4, July 2007
	Robert Colvin , Ian j. Hayes , Paul Strooper, Calculating modules in contextual logic program refinement, Theory and Practice of Logic Programming, v.8 n.1, p.1-31, January 2008
	Johanna Tuominen , Tomi Westerlund , Juha Plosila, Power Aware System Refinement, Electronic Notes in Theoretical Computer Science (ENTCS), 201, p.223-253, March, 2008
	Claudio Sant'Anna , Cidiane Lobato , Uira Kulesza , Alessandro Garcia , Christina Chavez , Carlos Lucena, On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study, International Journal of Agent-Oriented Software Engineering, v.2 n.1, p.34-61, January 2008
	Arjan J. Mooij, Constructing and Reasoning About Security Protocols Using Invariants, Electronic Notes in Theoretical Computer Science (ENTCS), 201, p.99-126, March, 2008
	Shuvendu Lahiri , Shaz Qadeer, Back to the future: revisiting precise program verification using SMT solvers, ACM SIGPLAN Notices, v.43 n.1, January 2008
	Gergely Dévai, Programming language elements for correctness proofs, Acta Cybernetica, v.18 n.3, p.403-425, January 2008
	Sagar Chaki , Edmund Clarke , Natasha Sharygina , Nishant Sinha, Verification of evolving software via component substitutability analysis, Formal Methods in System Design, v.32 n.3, p.235-266, June 2008
	Joseph M. Morris , Malcolm Tyrrell, Dually nondeterministic functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.6, p.1-34, October 2008
	Ioannis Z. Emiris , Elias P. Tsigaridas, Real algebraic numbers and polynomial systems of small degree, Theoretical Computer Science, v.409 n.2, p.186-199, December, 2008
	Sandip Ray , Warren A. Hunt, Jr. , John Matthews , J. Strother Moore, A Mechanical Analysis of Program Verification Strategies, Journal of Automated Reasoning, v.40 n.4, p.245-269, May 2008
	Dhaminda Abeywickrama , Sita Ramakrishnan, Towards engineering models of aspectual pervasive software services, Proceedings of the 3rd ACM workshop on Software engineering for pervasive services, July 06-06, 2008, Sorrento, Italy
	Harald Wertz, A system to understand incorrect programs, ACM Lisp Bulletin
	Jiri Soukup , Martin Soukup, The Inevitable Cycle: Graphical Tools and Programming Paradigms, Computer, v.40 n.8, p.24-30, August 2007
	Don Batory, Using modern mathematics as an FOSD modeling language, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Amparo Navasa , Miguel A. Pérez-Toledano , Juan M. Murillo, An ADL dealing with aspects at software architecture stage, Information and Software Technology, v.51 n.2, p.306-324, February, 2009
	Borzoo Bonakdarpour , Ali Ebnenasir , Sandeep S. Kulkarni, Complexity results in revising UNITY programs, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.4 n.1, p.1-28, January 2009
	Tiberiu Seceleanu , Axel Jantsch, Modeling Communication with Synchronized Environments, Fundamenta Informaticae, v.86 n.3, p.343-369, October 2008
	Roopsha Samanta , Jyotirmoy V. Deshmukh , E. Allen Emerson, Automatic generation of local repairs for Boolean programs, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, p.1-10, November 17-20, 2008, Portland, Oregon
	Ian J. Hayes, Towards reasoning about teleo-reactive programs for robust real-time systems, Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, United Kingdom
	Adam Chlipala, Modular development of certified program verifiers with a proof assistant1,2, Journal of Functional Programming, v.18 n.5-6, p.599-647, September 2008
	Claudia Pons , Diego Garcia, A Lightweight Approach for the Semantic Validation of Model Refinements, Electronic Notes in Theoretical Computer Science (ENTCS), v.220 n.1, p.43-61, December, 2008
	Eunsang Kim , Kunsoo Park, Improving multikey Quicksort for sorting strings with many equal elements, Information Processing Letters, v.109 n.9, p.454-459, April, 2009
	Milind Kulkarni , Martin Burtscher , Rajeshkar Inkulu , Keshav Pingali , Calin Casçaval, How much parallelism is there in irregular applications?, Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, February 14-18, 2009, Raleigh, NC, USA
	Sandra I. Casas , J. Baltasar Garcıa Perez-Schofield , Claudia A. Marcos, Expert in conflicts, Expert Systems with Applications: An International Journal, v.36 n.3, p.5630-5642, April, 2009
	Hugh Gibbons, Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem, Electronic Notes in Theoretical Computer Science (ENTCS), 225, p.83-98, January, 2009
	Ali Ebnenasir , Rasoul Beik, Developing parallel programs: A design-oriented perspective, Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, p.1-8, May 18-18, 2009
	Murat Demirbas , Anish Arora , Vinodkrishnan Kulathumani, Glance: A lightweight querying service for wireless sensor networks, Theoretical Computer Science, v.410 n.6-7, p.500-513, February, 2009
	Kim Solin , Joakim von Wright, Enabledness and termination in refinement algebra, Science of Computer Programming, v.74 n.8, p.654-668, June, 2009
	Tayfun Elmas , Shaz Qadeer , Serdar Tasiran, A calculus of atomic actions, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Michael E. Caspersen , Michael Kolling, STREAM: A First Programming Process, ACM Transactions on Computing Education (TOCE), v.9 n.1, p.1-29, March 2009
	Carla Silva , Jaelson Castro , Joao Araujo , Ana Moreira , Patricia Tedesco , John Mylopoulos, Advanced separation of concerns in agent-oriented design patterns, International Journal of Agent-Oriented Software Engineering, v.3 n.2/3, p.306-327, March 2009
	William Van Lepthien , Kenneth M. Anderson, Extending types to modeling problem-space entities, The New Review of Hypermedia and Multimedia, v.12 n.2, p.143-164, December 2006
	Tony L. Cox , David Hemmendinger , David Hemmendinger, Procedure-oriented languages, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Francis D. Federighi, Programmer, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	David Gries, Loop invariant, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	David A. Schmidt, Programming language semantics, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Jerrold L. Wagener, Guarded command, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Peter Gammie, Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp., Journal of Functional Programming, v.19 n.2, p.254-256, March 2009
	Ariel Cohen , Kedar S. Namjoshi, Local proofs for global safety properties, Formal Methods in System Design, v.34 n.2, p.104-125, April 2009
	Peter Böhm , Tom Melham, A refinement approach to design and verification of on-chip communication protocols, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, p.1-8, November 17-20, 2008, Portland, Oregon
	Regina Tix , Klaus Keimel , Gordon Plotkin, Semantic Domains for Combining Probability and Non-Determinism, Electronic Notes in Theoretical Computer Science (ENTCS), 222, p.3-99, February, 2009
	Anna Zaks , Amir Pnueli, Program analysis for compiler validation, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, November 09-10, 2008, Atlanta, Georgia
	David Lorge Parnas, Document based rational software development, Knowledge-Based Systems, v.22 n.3, p.132-141, April, 2009
	Satish Chandra , Stephen J. Fink , Manu Sridharan, Snugglebug: a powerful approach to weakest preconditions, ACM SIGPLAN Notices, v.44 n.6, June 2009
	Anup Kumar Bandyopadhyay, Fairness and conspiracy concepts in concurrent systems, ACM SIGSOFT Software Engineering Notes, v.34 n.2, March 2009
	Musard Balliu , Isabella Mastroeni, A weakest precondition approach to active attacks analysis, Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, June 15-21, 2009, Dublin, Ireland
	Javier Blanco , Leticia Losano , Nazareno Aguirre , María Marta Novaira , Sonia Permigiani , Gastón Scilingo, An introductory course on programming based on formal specification and program calculation, ACM SIGCSE Bulletin, v.41 n.2, June 2009
	Martin Ward , Hussein Zedan , Matthias Ladkau , Stefan Natelberg, Conditioned semantic slicing for abstraction; industrial experiment, Software—Practice & Experience, v.38 n.12, p.1273-1304, October 2008
	Joseph M. Morris , Alexander Bunkenburg , Malcolm Tyrrell, Term transformers: A new approach to state, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.4, p.1-42, May 2009
	Carroll Morgan, The Shadow Knows: Refinement and security in sequential programs, Science of Computer Programming, v.74 n.8, p.629-653, June, 2009
	Klaus Keimel , Gordon d. Plotkin, Predicate transformers for extended probability and non-determinism, Mathematical Structures in Computer Science, v.19 n.3, p.501-539, June 2009
	Annegret Habel , Karl-heinz Pennemann, Correctness of high-level transformation systems relative to nested conditions†, Mathematical Structures in Computer Science, v.19 n.2, p.245-296, April 2009
	Robin Cockett , Ernie Manes, Boolean and classical restriction categories, Mathematical Structures in Computer Science, v.19 n.2, p.357-416, April 2009
	Witold Lukaszewicz , Ewa Madalinska-Bugaj, Reasoning about plans, Proceedings of the Fifteenth international joint conference on Artifical intelligence, p.1215-1220, August 23-29, 1997, Nagoya, Japan
	Douglas R. Smith, A design for an automatic programming system, Proceedings of the 7th international joint conference on Artificial intelligence, p.1027-1029, August 24-28, 1981, Vancouver, BC, Canada
	Donald Cohen, Symbolic execution of the Gist specification language, Proceedings of the Eighth international joint conference on Artificial intelligence, p.17-20, August 08-12, 1983, Karlsruhe, West Germany
	Werner Stephan , Susanne Biundo, A new logical framework for deductive planning, Proceedings of the 13th international joint conference on Artifical intelligence, p.32-38, August 28-September 03, 1993, Chambery, France
	S. D. Litvintchouk , V. R. Pratt, A proof-checker for dynamic logic, Proceedings of the 5th international joint conference on Artificial intelligence, p.552-558, August 22-25, 1977, Cambridge, USA
	Thomas Ellman, Generalizing logic circuit designs by analyzing proofs of correctness, Proceedings of the 9th international joint conference on Artificial intelligence, p.643-646, August 18-23, 1985, Los Angeles, California
	Eike Best , Kerstin Strecker, Relational Semantics Revisited, Electronic Notes in Theoretical Computer Science (ENTCS), v.229 n.4, p.27-47, August, 2009
	Dominique Méry, A simple refinement-based method for constructing algorithms, ACM SIGCSE Bulletin, v.41 n.2, June 2009
	Witold Lukaszewicz , Ewa Madaliriska-Bugaj, Reasoning about action and change using Dijkstra's semantics for programming languages: preliminary report, Proceedings of the 14th international joint conference on Artificial intelligence, p.1950-1955, August 20-25, 1995, Montreal, Quebec, Canada
	Patrick Doherty , Witold Łukaszewicz , Andrzej Szałas, Computing strongest necessary and weakest sufficient conditions of first-order formulas, Proceedings of the 17th international joint conference on Artificial intelligence, p.145-151, August 04-10, 2001, Seattle, WA, USA
	Michal Armoni , Mordechai Ben-Ari, The concept of nondeterminism: its development and implications for teaching, ACM SIGCSE Bulletin, v.41 n.2, June 2009
	Dale A. Lambert, A blueprint for higher-level fusion systems, Information Fusion, v.10 n.1, p.6-24, January, 2009
	Carla Silva , Marcia Lucena , Jaelson Castro , Joao Araujo , Ana Moreira , Fernanda Alencar, Support for aspectual modeling to Multiagent system architecture, Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, p.38-43, May 18-18, 2009