Michael Jackson

Proceedings of the Present and Ulterior Software Engineering., 2017

2015

System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2015

Requirements, behaviours, and software engineering (keynote).

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

2014

Topsy-turvy requirements.

[BibT_eX]

[DOI]

Requir. Eng., 2014

Behaviours as Design Components of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering - International Summer Schools, 2014

Requirements-driven mediation for collaborative security.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

2013

Aspect Interactions: A Requirements Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Aspect-Oriented Requirements Engineering, 2013

2012

Aspects of abstraction in software development.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Formalisms and structures.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Linked data for humanities research - The SPQR experiment.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

Simplicity and Complexity in Programs and Systems.

[BibT_eX]

[DOI]

Proceedings of the Conquering Complexity, 2012

2011

A Tolerant Approach to Faults.

[BibT_eX]

[DOI]

Proceedings of the Dependable and Historic Computing, 2011

2010

Engineering and Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Future of Software Engineering., 2010

The Operational Principle and Problem Frames.

[BibT_eX]

[DOI]

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Specifying features of an evolving software system.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2009

Are Your Lights Off? Using Problem Frames to Diagnose System Failures.

[BibT_eX]

[DOI]

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Some Notes on Models and Modelling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

2008

Problem Oriented Software Engineering: Solving the Package Router Control Problem.

[BibT_eX]

[DOI]

Jon G. Hall

Lucia Rapanotti

IEEE Trans. Software Eng., 2008

Problem frames and software engineering.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2008

Software engineering and formal methods.

[BibT_eX]

[DOI]

Commun. ACM, 2008

Automated software engineering: supporting understanding.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2008

2007

Problem Oriented Software Engineering: A design-theoretic framework for software engineering.

[BibT_eX]

[DOI]

Jon G. Hall

Lucia Rapanotti

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

The Name and Nature of Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Composing Features by Managing Inconsistent Requirements.

[BibT_eX]

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007

Deriving Specifications for Systems That Are Connected to the Physical World.

[BibT_eX]

[DOI]

Cliff B. Jones

Ian J. Hayes

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

The Problem Frames Approach to Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

Specialising in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

What Can We Expect from Program Verification?

[BibT_eX]

[DOI]

Computer, 2006

Separating Concerns in Requirements Analysis: An Example.

[BibT_eX]

[DOI]

Daniel Jackson

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Testing the Machine in the World.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software, 2006

Structural Relationships among Models.

[BibT_eX]

[DOI]

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

Problem frame semantics for software development.

[BibT_eX]

[DOI]

Jon G. Hall

Lucia Rapanotti

Softw. Syst. Model., 2005

Where do you go when you're through the turnstile?

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Seeing More of the World.

[BibT_eX]

[DOI]

IEEE Softw., 2004

Architecture-driven Problem Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Using Abuse Frames to Bound the Scope of Security Problems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Composing Requirements Using Problem Frames.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Problem Structure and Dependable Architecture.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Problem Frames: A Case for Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Why software writing is difficult and will remain so.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

Introducing Abuse Frames for Analysing Security Requirements.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Determining the Specification of a Control System from That of Its Environment.

[BibT_eX]

[DOI]

Ian J. Hayes

Cliff B. Jones

Proceedings of the FME 2003: Formal Methods, 2003

2002

Some Basic Tenets of Description.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2002

A Call Abstraction for Component Coordination.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Where, Exactly, Is Software Development?

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Descriptions in Software Development.

[BibT_eX]

[DOI]

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Formalism and Informality in Software Development.

[BibT_eX]

[DOI]

Proceedings of the Soft-Ware 2002: Computing in an Imperfect World, 2002

Relating Software Requirements and Architectures Using Problem Frames.

[BibT_eX]

[DOI]

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Distributed media control tor multimedia communications services.

[BibT_eX]

[DOI]

Eric Cheung

Proceedings of the IEEE International Conference on Communications, 2002

Constructive Methods Of Program Design (Reprint).

[BibT_eX]

[DOI]

Proceedings of the Software Pioneers., 2002

JSP in Perspective.

[BibT_eX]

[DOI]

Proceedings of the Software Pioneers., 2002

2001

Formalism and Informality in RE.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000

A Reference Model for Requirements and Specifications.

[BibT_eX]

[DOI]

IEEE Softw., 2000

Christopher Strachey: A Personal Recollection.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2000

Anecdotes.

[BibT_eX]

[DOI]

Frank S. Preston

Christopher Goulding

IEEE Ann. Hist. Comput., 2000

A Reference Model for Requirements and Specifications-Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Requirements Engineering, 2000

New Feature Interactions in Mobile and Multimedia Telecommunications Services.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Problem Frames - Analysing and Structuring Software Development Problems.

[BibT_eX]

[DOI]

Pearson Education, ISBN: 978-0-2015-9627-4, 2000

1999

Specializing in Software Engineering.

[BibT_eX]

[DOI]

IEEE Softw., 1999

The Role of Formalism in Method.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Distributed Feature Composition: A Virtual Architecture for Telecommunications Services.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

A Component-Based Approach to Telecommunication Software.

[BibT_eX]

[DOI]

IEEE Softw., 1998

Defining a Discipline of Description.

[BibT_eX]

[DOI]

IEEE Softw., 1998

Will There Ever Be Software Engineering?

[BibT_eX]

[DOI]

IEEE Softw., 1998

Formal methods and traditional engineering.

[BibT_eX]

[DOI]

J. Syst. Softw., 1998

The Village Telephone System: A Case Study in Formal Software Engineering.

[BibT_eX]

[DOI]

Karthikeyan Bhargavan

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Four Dark Corners of Requirements Engineering.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

Telecommunications Service Requirements: Principles for Managing Complexity.

[BibT_eX]

[DOI]

Requir. Eng., 1997

The Meaning of Requirements.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1997

Requirements for Telecommunications Services: An Attack on Complexity.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Problem complexity.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

A Missing Element in Software Engineering Education.

[BibT_eX]

[DOI]

Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997

1996

Where Do Operations Come From: A Multiparadigm Specification Technique.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Problem decomposition for reuse.

[BibT_eX]

[DOI]

Daniel Jackson

Softw. Eng. J., 1996

Problems, Methods, and Structures (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

1995

Critical Reading For Software Developers.

[BibT_eX]

[DOI]

IEEE Softw., 1995

Desert Island Column.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1995

Problems and requirements (software development).

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

Deriving Specifications from Requirements: An Example.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

The World and the Machine.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

Software requirements and specifications - a lexicon of practice, principles and prejudices.

[BibT_eX]

Addison-Wesley, ISBN: 978-0-201-87712-0, 1995

1994

Problems, Methods and Specialization.

[BibT_eX]

[DOI]

IEEE Softw., 1994

Problems, methods and specialisation.

[BibT_eX]

[DOI]

Softw. Eng. J., 1994

The role of software architecture in requirements engineering.

[BibT_eX]

[DOI]

Howard B. Reubenstein

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

Problems, Descriptions and Objects.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

1993

Conjunction as Composition.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1993

Domain descriptions.

[BibT_eX]

[DOI]

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Composition of Descriptions : A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Systems Engineering, 1993

1991

Techniques for Partial Specification and Specification of Switching Systems.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

Description is our Business.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

Computer Based Systems Engineering Workshop.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1991

1989

Software Engineering for Business DP: Looking Back and Looking Forward.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Software Engineering, 1989

Software Development in the Year 2000.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Software Engineering, 1989

1987

Power and Limitations of Formal Methods for Software Fabrication.

[BibT_eX]

[DOI]

J. Inf. Technol., 1987

Processing Transactions.

[BibT_eX]

Christopher J. Van Wyk

David W. Wall

Commun. ACM, 1987

1982

Software Development as an Engineering Problem.

[BibT_eX]

Angew. Inform., 1982

1978

Information Systems: Modelling, Sequencing and Transformations.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Software Engineering, 1978

1976

Constructive Methods of Program Design.

[BibT_eX]

[DOI]