|
|
- M. Chechik and A. Wong.
``Formal Modeling in a Commercial Setting: A Case Study'', Journal of Systems and Software, vol. 60, pp. 57-80, January, 2002
PS
PDF
Abstract
- M. Chechik, B. Devereux and A. Gurfinkel.
``XChek: A Multi-Valued Model-Checker'', in Proceedings of 14th International Conference on Computer-Aided Verification (CAV'02), Copenhagen, Denmark, pp. 505-509, July, 2002
PS
PDF
Abstract
- M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, and S. Easterbrook.
``Data Structures for Symbolic Multi-Valued Model-Checking'', CSRG Technical Report, Department of Computer Science, University of Toronto, January, 2002
PS
PDF
Abstract
- M. Chechik and W. MacCaull.
``On Model-Checking over Logics with Non-Classical Negations'', CSRG Technical Report, Department of Computer Science, University of Toronto, October, 2002
PS
PDF
Abstract
- M. Chechik and W. Ding.
``Lightweight Reasoning About Program Correctness'', Information Systems Frontiers, vol. 4, pp. 363-377, November, 2002
PS
PDF
Abstract
- B. Devereux.
``Strong Next-time Operators for Multiple-Valued mu-calculus'', in Proceedings of FLOC'02 Workshop on Fixpoints in Computer Science (FICS), Copenhagen, Denmark, pp. 40-43, July, 2002
PS
PDF
Abstract
- S. M. Easterbrook and M. Chechik.
``Guest Editorial: Special Issue on Model Checking in Requirements Engineering'', Requirements Engineering Journal, vol. 7, pp. 221-224, December, 2002
PS
PDF
Abstract
- S. E. Sim, R. C. Holt, and S. M. Easterbrook.
``On Using a Benchmark to Evaluate C++ Extractors'', in 10th IEEE International Workshop on Program Comprehension, La Sorbonne, Paris, France, June, 2002
PS
PDF
Abstract
- A. Gurfinkel and B. Devereux and M. Chechik.
``Model Exploration with Temporal Logic Query Checking'', in Proceedings of SIGSOFT Conference on Foundationsof Software Engineering (FSE'02), Charleston, SC, pp. 139--148, November, 2002
PS
PDF
Abstract
- A. Gurfinkel.
Multi-Valued Symbolic Model-Checking:Fairness, Counter-Examples, Running Time
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, October, 2002
PS
PDF
Abstract
- E.C.R.Hehner and I.T.Kassios.
`` Theories, Implementations, and Transformations'', in ZB2002 second annual Z and B conference, Grenoble, France, January, 2002
PS
PDF
Abstract
- W. Liu, S. M. Easterbrook, and J. Mylopoulos.
``Rule-Based Detection of Inconsistency in UML Models'', in the Workshop on Consistency Problems in UML-Based Software Development, at the Fifth International Conference on the Unified
Modeling Language, Dresden, Germany, October, 2002
PS
PDF
Abstract
- W.Liu.
`` Rule-Based Detection of Inconsistency in Software Design''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, July, 2002
PS
PDF
Abstract
- Nan Niu, Eleni Stroulia, and Mohammad El-Ramly.
``Understanding Web Usage for Effective Dynamic Web-Site Adaptation'', in 4th International Workshop on Web Site Evolution (WSE 2002), in affiliation with the IEEE Internatioanl Conference on Software
Maintenance (ICSM 2002), Montreal, Quebec, Canada, pp. 53-62, October, 2002
PS
PDF
Abstract
- Dimitrie O. Paun and Marsha Chechik.
``On Closure Under Stuttering'', Formal Aspects of Computing, 2002
PS
PDF
Abstract
- Ioannis T. Kassios.
``Unifying Formal Theories with Object Orientation'', CSRG Technical Report, Computer Systems Research Group, University of Toronto, October, 2002
PS
PDF
Abstract
- Ioannis T. Kassios, M. C. Schraefel.
``Noema, a Metalanguage for Scripting Versionable Hypertexts'', in Proceedings of DCW2002 4th International Conference on Distributed Communities on the Web, Sydney Australia, April, 2002
PS
PDF
Abstract
- M. Chechik, S. Easterbrook and V. Petrovykh.
``Model-Checking Over Multi-Valued Logics'', in Proceedings of Formal Methods Europe (FME'01), pp. 72-98, March, 2001
PS
PDF
Abstract
- M. Chechik, B. Devereux and S. Easterbrook.
``Implementing a Multi-Valued Symbolic Model-Checker'', in Proceedings of TACAS'01, pp. 404-419, April, 2001
PS
PDF
Abstract
- M. Chechik, B. Devereux, S. Easterbrook, A. Lai, and V. Petrovykh.
``Efficient Multiple-Valued Model-Checking Using Lattice Representations'', in Proceedings of 12th International Conference on Concurrency Theory (CONCUR'01), Aalborg, Denmark, pp. 451-465, August, 2001
PS
PDF
Abstract
- M. Chechik, B. Devereux and A. Gurfinkel.
``Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN'', in Proceedings of the 8th SPIN Workshop on Model Checking Software, Toronto, Canada, pp. 16-36, May, 2001
PS
PDF
Abstract
- M. Chechik and J. Gannon.
``Automatic Analysis of Consistency Between Requirements and Designs'', IEEE Transactions on Software Engineering, vol. 27, July, 2001
PS
PDF
Abstract
- M. Chechik and W. Ding.
``Lightweight Reasoning about Program Correctness'', in Proceedings of CASCON'01, Toronto, Canada, pp. 127-140, November, 2001
PS
PDF
Abstract
- M. Chechik and S. Easterbrook.
``Reasoning About Compositions of Concerns'', in Proceedings of Workshop on Advanced Separation of Concerns in Software Engineering, at the 23rd International Conference on
Software Engineering (ICSE-01), Toronto, Canada, May, 2001
PS
PDF
Abstract
- B. Devereux.
``Finite-State Models with Multiplicities: Symbolic Representation and Reasoning''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, June, 2001
PS
PDF
Abstract
- S. Easterbrook and M. Chechik.
``A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints'', in Proceedings of International Conference on Software Engineering (ICSE'01), Toronto, Canada, pp. 411-420, May, 2001
PS
PDF
Abstract
- B. A. Nuseibeh, S. M. Easterbrook, and A. Russo.
``Making Inconsistency Respectable in Software Development'', Journal of Systems and Software, vol. 58, pp. 171-180, 2001
PS
PDF
Abstract
- S. M. Easterbrook and M. Chechik.
``Automated Paraconsistent Reasoning via Model Checking'', in Proceedings of First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference
on Artificial Intelligence, (IJCAI-01), Seattle, USA, August, 2001
PS
PDF
Abstract
- S. M. Easterbrook and M. Chechik.
``A Framework to Handle Horizontal Inconsistency in Software'', in Proceedings of 2nd International Workshop on Living with Inconsistency, at the 23rd International Conference on Software Engineering
(ICSE-01), Toronto, Canada, May, 2001
PS
PDF
Abstract
- E.C.R.Hehner and T.S.Norvell.
``program2circuit'', in Fifth WSES/IEEE World Multiconference on Circuits, Systems, Communications, and Computers, Crete, July, 2001
PS
PDF
Abstract
- E.C.R.Hehner.
``Variables and Scopes Considered Formally'', Information Processing Letters, vol. 79, pp. 33-38, 2001
PS
PDF
Abstract
- W. Liu.
``Goal Directed Requirements Acquisition for an Industrial Case Study: a Dental Adjudication System'', CSRG Technical Report, Department of Computer Science, University of Toronto, December, 2001
PS
PDF
Abstract
- W. Liu.
``Dental Adjudication Model - An Application of i* Framework'', CSRG Technical Report, Department of Computer Science, University of Toronto, April, 2001
PS
PDF
Abstract
- W. Liu.
``Multi-Valued Symbolic LTL Model Checker'', CSRG Technical Report, Department of Computer Science, University of Toronto, March, 2001
PS
PDF
Abstract
- W. Liu.
``Bridging Software Requirements and Architecture'', CSRG Technical Report, Department of Computer Science, University of Toronto, March, 2001
PS
PDF
Abstract
- W. Liu.
``The Social Role of University ? a UML Model'', CSRG Technical Report, Department of Computer Science, University of Toronto, February, 2001
PS
PDF
Abstract
- Ioannis T. Kassios.
``Theory Theory (and an Attempt to Orient Objections to Object Orientation)''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 2001
PS
PDF
Abstract
- M. Chechik and H. Wang.
``Feasibility of Bisimulation Analysis of Protocols Expressed in SDL'', in Proceedings of CASCON'2000, November, 2000
PS
PDF
Abstract
- M. Chechik, William Andrepoulos, Bob Bernecky,Ariel Fuxman, Benet Devereux, Kristin Hofstee,Jingjing Lu, Tsuyoshi Morioka,
Peeter Piegaze,Jeffrey Tang, Sean Thompson, Cosmin Truta,Yuxiang Zhu and Wei Zhou.
``Automated Verification, Fall 1999: A Collection of Reports'', CSRG Technical Report, Department of Computer Science, University of Toronto, 2000
PS
PDF
Abstract
- M. Chechik, S. Easterbrook, B. Devereux, A. Lai, V. Petrovykh and C. Thompson-Walsh.
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints -- Project Report, CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2000
PS
PDF
Abstract
- M. Chechik and W. Ding.
``On Interpreting Results of Model-Checking with Abstraction'', CSRG Technical Report, Department of Computer Science, University of Toronto, December, 2000
PS
PDF
Abstract
- Wei Ding.
``Analyzing Infinite-State Programs with Abstract Interpretation''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, January, 2000
PS
PDF
Abstract
- B. A. Nuseibeh, S. M. Easterbrook, and A. Russo.
``Leveraging Inconsistency in Software Development'', IEEE Computer, vol. 33, pp. 24-29, April, 2000
PS
PDF
Abstract
- B. A. Nuseibeh and S. M. Easterbrook.
`` Requirements Engineering: A Roadmap'', The Future of Software Engineering, Companion volume to the proceedings of the 22nd International Conference on Software Engineering,
(ICSE'00), 2000
PS
PDF
Abstract
- E.C.R.Hehner.
``Formalism and the Variable'', Millennial Perspectives in Computer Science Palgrave, pp. 147-156, 2000
PS
PDF
Abstract
- W. Liu.
``Report on Construction Heuristics for the Traveling Salesman Problem'', CSRG Technical Report, Department of Computer Science, University of Toronto, December, 2000
PS
PDF
Abstract
- M. Chechik and D. Paun.
Events in Property Patterns, in Proceedings of the 6th International SPIN Workshop (SPIN'6), pp. 154-167, September, 1999
PS
PDF
Abstract
- M. Chechik and A. Wong.
``Formal Methods When Money Is Tight'', in Proceedings of the First Workshop on Economics-Driven Software Engineering Research (EDSER-1), Los Angeles, May, 1999
PS
PDF
Abstract
- D. DelGobbo, B. Cukic, S. M. Easterbrook, and M. Napolitano.
``Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems'', in Proceedings of First International Workshop on the Requirements Engineering Process (REP'99), Florence, Italy, September 2-3, 1999
PS
PDF
Abstract
- B. A. Nuseibeh and S. M. Easterbrook.
``The Process of Inconsistency Management : a Framework for Understanding'', in Proceedings of First International Workshop on the Requirements Engineering Process (REP'99), Florence, Italy, September 2-3, 1999
PS
PDF
Abstract
- V. Wiels and S. M. Easterbrook.
``Formal Modeling of Space Shuttle Software Change Requests using SCR'', in Proceedings of Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11, 1999
PS
PDF
Abstract
- T. Menzies, S. M. Easterbrook, B. A. Nuseibeh, and S. Waugh.
``An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering'', in Proceedings of Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11, 1999
PS
PDF
Abstract
- E.C.R.Hehner and A.M.Gravell.
``Refinement Semantics and Loop Rules'', in FM'99 World Congress on Formal Methods, Toulouse, France, pp. 1497-1510, 1999
PS
PDF
Abstract
- R.F.Paige and E.C.R.Hehner.
`` Bunches for Object-Oriented, Concurrent, and Real-Time Specification'', in FM'99 World Congress on Formal Methods, Toulouse, France, pp. 530-550, 1999
PS
PDF
Abstract
- E.C.R. Hehner.
``Specifications, Programs, and Total Correctness'', Science of Computer Programming, vol. 34, pp. 191-205, 1999
PS
PDF
Abstract
- Dimitrie O. Paun and Marsha Chechik.
``Events in Linear-Time Properties'', in Proceedings of 4th International Conference on Requirements Engineering, June, 1999
PS
PDF
Abstract
- Dimitrie O. Paun.
Closure Under Stuttering in Temporal Formulas
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 1999
PS
PDF
Abstract
- Andre Wong and Marsha Chechik.
``Formal Modeling in a Commercial Setting: A Case Study'', in Proceedings of FM'99: World Congress in Formal Methods, pp. 590-605, September, 1999
PS
PDF
Abstract
- Andre Wong.
``Formalizing Requirements in a Commercial Setting: A Case Study''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, May, 1999
PS
PDF
Abstract
- Ioannis T. Kassios and Marianna Katsoyannou and Grigoris Steinhauer.
``An Integrated Environment for the Support of the Creation of General Language Dictionaries'', in ``4th International Conference of Greek Linguistics, Nicosia, Cyprus'', 1999
PS
PDF
Abstract
- Bernd Biechele and Dimitrie O. Paun.
``A Case Study Production Cell with PROMELA/SPIN'', Automated Verification: A Collection of Reports, April, 1998
PS
PDF
Abstract
- M. Chechik.
``SC(R)^3: Towards Usability of Formal Methods'', in Proceedings of CASCON'98, pp. 177-191, November, 1998
PS
PDF
Abstract
- M. Chechik and V.S. Sudha.
``Checking Consistency between Source Code and Annotations'', CSRG Technical Report, Department of Computer Science, University of Toronto, 1998
PS
PDF
Abstract
- M. Chechik.
``Using SCR Requirements'', in Proceedings of the 7th SCR workshop, October, 1998
PS
PDF
Abstract
- M. Chechik and students of csc2108, Fall'97.
``Automated Verification: A Collection of Reports'', CSRG Technical Report, Department of Computer Science, University of Toronto, April, 1998
PS
PDF
Abstract
- S. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton.
``Experience Using Lightweight Formal Methods for Requirements Modeling'', IEEE Transactions on Software Engineering, vol. 24, pp. 4-14, January, 1998
PS
PDF
Abstract
- Steve Easterbrook and John Callahan.
``Formal Methods for Verification and Validation of Partial Specifications: A Case Study'', Journal of Systems and Software, vol. 40, 1998
PS
PDF
Abstract
- V. Wiels and S. M. Easterbrook.
``Management of evolving specifications using category theory'', in Proceedings of 13th International Conference on Automated Software Engineering, Honolulu, Hawaii, 14-16 October, 1998
PS
PDF
Abstract
- S. M. Easterbrook, J. R. Callahan, and V. Wiels.
``V&V through Inconsistency Tracking and Analysis'', in Proceedings of International Workshop on Software Specification and Design, Kyoto, Japan, April 16-18, 1998
PS
PDF
Abstract
- S. M. Easterbrook.
The Role of Independent V&V in Upstream Software Development Processes, Journal of Integrated Design and Process Science, vol. 2, pp. 37-46, 1998
PS
PDF
Abstract
- F. Schneider, S. M. Easterbrook, J. R. Callahan, and G. J. Holzmann.
``Validating Requirements for Fault Tolerant Systems using Model Checking'', in Proceedings of Third IEEE Conference on Requirements Engineering, Colorado Springs, CO, USA, April 6 - 10, 1998
PS
PDF
Abstract
- E.C.R. Hehner.
``Formalization of Time and Space'', Formal Aspects of Computing, vol. 10, pp. 290-306, 1998
PS
PDF
Abstract
- Dimitrie O. Paun, Marsha Chechik, and Bernd Biechelle.
``Production Cell Revisited'', in Proceedings of the 4th International SPINWorkshop (SPIN'4), November, 1998
PS
PDF
Abstract
- Andre Wong and Marsha Chechik.
``Applying Formal Methods to a Telecommunications System in a Commercial Setting'', in Proceedings of 11th International Conference on Software Engineering and Its Applications, December, 1998
PS
PDF
Abstract
- M. Chechik.
``Checking Consistency Between Source Code and Annotations'', CSRG Technical Report, Department of Computer Science, University of Toronto, December, 1997
PS
PDF
Abstract
- M. Chechik.
``Software Engineering Education at the University of Toronto'', in Proceedings of the 4th Software Engineering Workshop, May, 1997
PS
PDF
Abstract
- S. M. Easterbrook and J. R. Callahan.
``Formal Methods for V&V of partial specifications: An experience report'', in Proceedings of Third IEEE International Symposium on Requirements Engineering (RE'97), Annapolis, Maryland, USA, 5-8 January, 1997
PS
PDF
Abstract
- D. Suydam and M. Chechik.
``Generating Test Cases from SCR Specifications'', CSRG Technical Report, Department of Computer Science, University of Toronto, 1997
PS
PDF
Abstract
- J. Atlee, M. Chechik and J. Gannon.
``Using Model Checking to Analyze Requirements and Designs'', Advances in Computers, 1996
PS
PDF
Abstract
- M. Chechik and J. Gannon.
``Verification of Consistency between Concurrent Program Designs and Their Requirements'', in Proceedings of COMPASS'96, Gaithersburg, Maryland, June, 1996
PS
PDF
Abstract
- M. Chechik.
Automatic Analysis of Consistency between Requirements and Designs
, PhD Thesis ,
University of Maryland, College Park, Maryland, December, 1996
PS
PDF
Abstract
- S. M. Easterbrook.
``Learning from Inconsistency'', in Proceedings of 8th International Workshop on Software Specification and Design (IWSSD-8), Paderborn, Germany, pp. 136-140, March 22-23, 1996
PS
PDF
Abstract
- S.M. Easterbrook and B.A. Nuseibeh.
``Using Viewpoints for Inconsistency Management'', BCS/IEE Software Engineering Journal, pp. 31-43, January, 1996
PS
PDF
Abstract
- S. M. Easterbrook.
``The Role of Independent V&V in Upstream Software Development Processes'', in Proceedings of 2nd World Conference on Integrated Design and Process Technology (IDPT-96), Austin, Texas, December 1-4, 1996
PS
PDF
Abstract
- S. M. Easterbrook and J. R. Callahan .
``Independent Validation of Specifications: A coordination headache'', in Proceedings of IEEE Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'96) - Workshop
on Requirements Engineering in and for Networked Enterprises, Stanford, CA, USA, pp. 232-237, Jun 19-21, 1996
PS
PDF
Abstract
- S. M. Easterbrook and J. R. Callahan.
``SCR as an IV&V Too'', in Proceedings of Fifth International Software Cost Reduction (SCR) Workshop, Ottawa, Canada, February 8-9, 1996
PS
PDF
Abstract
- A. Al-Rawas and S. M. Easterbrook.
`` A Field Study into the Communications Problems in Requirements Engineering'', in Proceedings of Conference on Professional Awareness in Software Engineering (PACE-96), London, UK, February, 1996
PS
PDF
Abstract
- S. M. Easterbrook and T. N. Arvantis .
``Preparing Students for Software Engineering'', in Proceedings of Third International Workshop on Software Engineering Education (IWSEE3), Technische Universit?t Berlin, Germany, March 30th, 1996
PS
PDF
Abstract
- S. M. Easterbrook .
``Coordination Breakdowns: How flexible is collaborative work?'', Requirements and Evaluation, London, pp. 91-106, 1996
PS
PDF
Abstract
- M. Chechik and J. Gannon.
``Automatic Analysis of Consistency Between Implementations and Requirements: A Case Study'', in Proceedings of 10th Annual Conference on ComputerAssurance, pp. 123-131, June, 1995
PS
PDF
Abstract
- S. M. Easterbrook.
``Coordination Breakdowns: Why Groupware is so Hard to Design'', in Proceedings of 28th Hawaii International Conference on Systems Sciences (HICSS-28), Maui, Hawaii, USA, pp. 191-199, 3-6 January, 1995
PS
PDF
Abstract
- M. Chechik and J. Gannon.
``Automatic Verification of Requirements Implementations'', in Proceedings of the 1994 International Symposiumon Software Testing and Analysis (ISSTA), Seattle, Washington, pp. 1-14, August, 1994
PS
PDF
Abstract
- S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh .
``Co-ordinating Conflicting ViewPoints by Managing Inconsistency '', in Proceedings of Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design, Lausanne, Switzerland, pp. 15-18, August, 1994
PS
PDF
Abstract
- S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh .
``Co-ordinating Conflicting ViewPoints by Managing Inconsistency '', in Proceedings of Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design, Lausanne, Switzerland, pp. 15-18, August, 1994
PS
PDF
Abstract
- E.C.R. Hehner.
``Abstractions of Time'', Prentice-Hall International Series in Computer Science, London, pp. 191-210, 1994
PS
PDF
Abstract
- S. M. Easterbrook.
``Domain Modelling with Hierarchies of Alternative Viewpoints'', in Proceedings of First IEEE International Symposium on Requirements Engineering (RE'93), San Diego, January, 1993
PS
PDF
Abstract
- E.C.R. Hehner.
A Practical Theory of Programming, Springer-Verlag, New York, 1993
PS
PDF
Abstract
- M.-M. Portmann and S. M. Easterbrook.
``PMI: Knowledge Elicitation and De Bono's Thinking Tools'', in Proceedings of Sixth European Workshop on Knowledge Acquisition for Knowledge Based Systems (EKAW-92), Heidelberg, Germany, May, 1992
PS
PDF
Abstract
- S. M. Easterbrook.
``Resolving Requirements Conflicts with Computer-Supported Negotiation'', in Workshop on Requirements Engineering, Oxford, 1992
PS
PDF
Abstract
- T.S.Norvell and E.C.R.Hehner.
``Logical Specifications for Functional Programs'', in International Conference on Mathematics of Program Construction, Oxford, June, 1992
PS
PDF
Abstract
- S. M. Easterbrook.
``Handling Conflict Between Domain Descriptions With Computer Supported Negotiation'', Knowledge Acquisition: An International Journal, vol. 3, pp. 255-289, 1991
PS
PDF
Abstract
- S. M. Easterbrook.
Elicitation of Requirements from Multiple Perspectives
, PhD Thesis ,
Imperial College of Science Technology and Medicine, University of London, London, June, 1991
PS
PDF
Abstract
- E.C.R.Hehner.
``What's wrong with formal programming methods?'', in Conference on Computing and Information (keynote address, invited), Ottawa, May, 1991
PS
PDF
Abstract
- E.C.R. Hehner.
``Programming from Specifications'', Science of Computer Programming, vol. 16, pp. 283-285, October, 1991
PS
PDF
Abstract
- S. M. Easterbrook.
`` Resolving Conflicts Between Domain Descriptions with Computer-Supported Negotiation'', in Proceedings of Fourth International Workshop on Knowledge Acquisition for Knowledge Based Systems (KAW-90), Banff, Canada, November, 1990
PS
PDF
Abstract
- E.C.R. Hehner.
``a Practical Theory of Programming'', Science of Computer Programming, vol. 14, pp. 133-158, 1990
PS
PDF
Abstract
- E.C.R.Hehner.
`` Beautifying Goedel'', chapter 18 in Beauty is our Business, New York, pp. 163-172, 1990
PS
PDF
Abstract
- S. M. Easterbrook.
``Distributed Knowledge Acquisition as a Model for Requirements Elicitation'', in Proceedings of Third European Workshop on Knowledge Acquisition for Knowledge Based Systems (EKAW-89) , Paris, France, July, 1989
PS
PDF
Abstract
- E.C.R. Hehner.
``Real-Time Programming'', Information Processing Letters, vol. 30, pp. 51-56, 1989
PS
PDF
Abstract
- E.C.R.Hehner.
``Termination is Timing'', in International Conference on Mathematics of Program Construction (opening address, invited), Enschede, June, 1989
PS
PDF
Abstract
- E.C.R. Hehner and A.J.Malton.
``Termination Conventions and Comparative Semantics'', Acta Informatica, vol. 25, pp. 1-14, January, 1988
PS
PDF
Abstract
- E.C.R.Hehner, L.E.Gupta, and A.J.Malton.
``Predicative Methodology'', Acta Informatica, vol. 23, pp. 487-505, 1986
PS
PDF
Abstract
- E.C.R.Hehner.
``Programming Based on Logic and Logic Based on Programming'', four chapters in Broy (ed.): The Logic of Programming and Calculi of Discrete Design, NATO Advanced Studies Institute Series, pp. 71 pages, 1986
PS
PDF
Abstract
- E.C.R.Hehner.
``Predicative Programming, Part I'', Communications ACM, vol. 27, pp. 134-143, February, 1984
PS
PDF
Abstract
- E.C.R.Hehner.
``Predicative Programming, Part II'', Communications ACM, vol. 27, pp. 144-151, February, 1984
PS
PDF
Abstract
- E.C.R.Hehner.
``the Logic of Programming'', Prentice-Hall International Series in Computer Science, London, pp. 361 pages, 1984
PS
PDF
Abstract
- E.C.R.Hehner and B.A.Silverberg.
``Programming with Grammars: an Exercise in Methodology-Directed Language Design'', the Computer Journal, vol. 26, pp. 277-281, 1983
PS
PDF
Abstract
- E.C.R.Hehner and C.A.R.Hoare.
``a More Complete Model of Communicating Processes'', Theoretical Computer Science, vol. 26, pp. 105-120, September, 1983
PS
PDF
Abstract
- E.C.R.Hehner.
``Predicate Semantics'', in 17th Princeton-Hopkins Conference on Information Science and Systems, Baltimore, pp. 322, March, 1983
PS
PDF
Abstract
- C.Lengauer and E.C.R.Hehner.
``a Methodology for Programming with Concurrency: an Informal Presentation'', Science of Computer Programming, vol. 2, pp. 1-8, 1982
PS
PDF
Abstract
- C.Lengauer and E.C.R.Hehner.
``a Methodology for Programming with Concurrency'', in CONPAR 81, Nurnberg, June 10-12, 1981
PS
PDF
Abstract
- E.C.R.Hehner and R.K.Shyamasundar.
``an Implementation of P and V'', Information Processing Letters, vol. 12, pp. 196-198, August, 1981
PS
PDF
Abstract
- E.C.R.Hehner.
``Bunch Theory: a Simple Set Theory for Computer Science'', Information Processing Letters, vol. 12, pp. 26-30, Februay, 1981
PS
PDF
Abstract
- E.C.R.Hehner.
`On the Design of Concurrent Programs'', INFOR, vol. 18, pp. 289-299, November, 1980
PS
PDF
Abstract
- E.C.R.Hehner.
``Do Considered od: a Contribution to the Programming Calculus'', Acta Informatica, vol. 11, pp. 287-304, 1979
PS
PDF
Abstract
- E.C.R.Hehner and R.N.S.Horspool.
``A New Representation of the Rational Numbers for Fast Easy Arithmetic'', SIAM Journal on Computation, vol. 8, pp. 124-134, May, 1979
PS
PDF
Abstract
- R.N.S.Horspool and E.C.R.Hehner.
``Exact Arithmetic Using a Variable-Length P-adic Representation'', in In Proceeding of Fourth IEEE Symposium on Computer Arithmetic, Santa-Monica, pp. 10-14, October, 1978
PS
PDF
Abstract
- E.C.R.Hehner.
``On Removing the Machine from the Language'', Acta Informatica, vol. 10, pp. 229-243, 1978
PS
PDF
Abstract
- E.C.R.Hehner.
``Information Content of Programs and Operation Encoding'', Journal of the ACM, vol. 24, pp. 290-297, April, 1977
PS
PDF
Abstract
- E.C.R.Hehner.
``Structuring'', in Proceedings of ACM Conference on Principles of Programming Languages, Santa Monica, pp. 201-205, January, 1977
PS
PDF
Abstract
- E.C.R.Hehner.
``Language-Directed Representation of Machine Instructions'', in Proceedings of IEEE COMPCON, San Francisco, pp. 99-102, 1976
PS
PDF
Abstract
- E.C.R.Hehner.
``Computer Design to Minimize Memory Requirements'', Computer, vol. 9, pp. 65-70, August, 1976
PS
PDF
Abstract
|
