The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Michael Jackson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Jackson
    Information Systems: Modelling, Sequencing and Transformations. [Citation Graph (3, 0)][DBLP]
    ICSE, 1978, pp:72-81 [Conf]
  2. Michael Jackson, Pamela Zave
    Deriving Specifications from Requirements: An Example. [Citation Graph (1, 0)][DBLP]
    ICSE, 1995, pp:15-24 [Conf]
  3. Pamela Zave, Michael Jackson
    Four Dark Corners of Requirements Engineering. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:1, pp:1-30 [Journal]
  4. Kevin D. Reilly, Norman W. Bray, Michael Jackson
    Approaches to Cognitive System Simulation: Architectures and Animations. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2000, pp:198-0 [Conf]
  5. Michael Jackson, Helen Lowe
    System Description: Interactive Proof Critics in XBarnacle. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:502-506 [Conf]
  6. Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh
    Problem Frames: A Case for Coordination. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:5-19 [Conf]
  7. Jonah Z. Lavi, Ashok K. Agrawala, Raymond J. A. Buhr, Ken Jackson, Michael Jackson, Bernard Lang
    Computer Based Systems Engineering Workshop. [Citation Graph (0, 0)][DBLP]
    CSEE, 1991, pp:149-163 [Conf]
  8. Raul Camposano, Jacob Greidinger, Patrick Groeneveld, Michael Jackson, Lawrence T. Pileggi, Louis Scheffer
    Design closure (panel session): hope or hype? [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:176-177 [Conf]
  9. Michael Jackson
    Constructive Methods of Program Design. [Citation Graph (0, 0)][DBLP]
    ECI, 1976, pp:236-262 [Conf]
  10. Pamela Zave, Michael Jackson
    New Feature Interactions in Mobile and Multimedia Telecommunications Services. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:51-66 [Conf]
  11. Michael Jackson
    Description is our Business. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:1-8 [Conf]
  12. Michael Jackson
    The Role of Formalism in Method. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:56- [Conf]
  13. Pamela Zave, Michael Jackson
    Techniques for Partial Specification and Specification of Switching Systems. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:511-525 [Conf]
  14. Babak Khazaei, Michael Jackson
    Is There Any Difference in Novice Comprehension of a Small Program Written in the Event-Driven and Object-Oriented Styles? [Citation Graph (0, 0)][DBLP]
    IEEE Symposia on Human Centric Computing Languages and Environments, 2002, pp:19-0 [Conf]
  15. Michael Jackson
    Testing the Machine in the World. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2006, pp:198-203 [Conf]
  16. Michael Jackson
    Problem complexity. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1997, pp:239-0 [Conf]
  17. Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
    A Reference Model for Requirements and Specifications-Extended Abstract. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:189- [Conf]
  18. Michael Jackson
    Software Development in the Year 2000. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:257- [Conf]
  19. Michael Jackson
    Problem Structure and Dependable Architecture. [Citation Graph (0, 0)][DBLP]
    WADS, 2004, pp:322-330 [Conf]
  20. Michael Jackson
    Software Engineering for Business DP: Looking Back and Looking Forward. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:135- [Conf]
  21. Michael Jackson
    The World and the Machine. [Citation Graph (0, 0)][DBLP]
    ICSE, 1995, pp:283-292 [Conf]
  22. Michael Jackson, Pamela Zave
    Where do you go when you're through the turnstile? [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:44- [Conf]
  23. Michael Jackson
    Problems, Descriptions and Objects. [Citation Graph (0, 0)][DBLP]
    OOIS, 1994, pp:25-35 [Conf]
  24. Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti
    Relating Software Requirements and Architectures Using Problem Frames. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:137-144 [Conf]
  25. Michael Jackson
    Formalism and Informality in RE. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:269- [Conf]
  26. Michael Jackson
    Problems and requirements (software development). [Citation Graph (0, 0)][DBLP]
    RE, 1995, pp:2-9 [Conf]
  27. Robin C. Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh
    Composing Requirements Using Problem Frames. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:122-131 [Conf]
  28. Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson
    Using Abuse Frames to Bound the Scope of Security Problems. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:354-355 [Conf]
  29. Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson, Jonathan D. Moffett
    Introducing Abuse Frames for Analysing Security Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:371-372 [Conf]
  30. Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh
    Architecture-driven Problem Decomposition. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:80-89 [Conf]
  31. Pamela Zave, Michael Jackson
    Requirements for Telecommunications Services: An Attack on Complexity. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:106-117 [Conf]
  32. Michael Jackson
    Problems, Methods, and Structures (Abstract). [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:1- [Conf]
  33. Michael Jackson
    Formalism and Informality in Software Development. [Citation Graph (0, 0)][DBLP]
    Soft-Ware, 2002, pp:356- [Conf]
  34. Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave
    The Village Telephone System: A Case Study in Formal Software Engineering. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:49-66 [Conf]
  35. Michael Jackson
    Descriptions in Software Development. [Citation Graph (0, 0)][DBLP]
    UML, 2002, pp:1- [Conf]
  36. Michael Jackson
    Where, Exactly, Is Software Development? [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:115-131 [Conf]
  37. Babak Khazaei, Michael Jackson
    Is There Any Difference in Novice Comprehension of a Small Program Written in the Event-Driven and Object-Oriented Styles? [Citation Graph (0, 0)][DBLP]
    HCC, 2002, pp:19-0 [Conf]
  38. Pamela Zave, Michael Jackson
    Techniques for Partial Specification and Specification of Switching Systems. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:205-219 [Conf]
  39. Daniel Jackson, Michael Jackson
    Separating Concerns in Requirements Analysis: An Example. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:210-225 [Conf]
  40. Michael Jackson
    The Meaning of Requirements. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1997, v:3, n:, pp:5-21 [Journal]
  41. Michael Jackson
    Desert Island Column. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1995, v:2, n:4, pp:353-355 [Journal]
  42. Christopher J. Van Wyk, Michael Jackson, David W. Wall
    Processing Transactions. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:12, pp:1000-1010 [Journal]
  43. Michael Jackson
    What Can We Expect from Program Verification? [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:10, pp:65-71 [Journal]
  44. Pamela Zave, Michael Jackson
    A Call Abstraction for Component Coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  45. Andrew Ireland, Michael Jackson, Gordon Reid
    Interactive Proof Critics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:302-325 [Journal]
  46. Michael Jackson
    Problem frames and software engineering. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:14, pp:903-912 [Journal]
  47. Michael Jackson
    Why software writing is difficult and will remain so. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:88, n:1-2, pp:13-25 [Journal]
  48. Michael Jackson
    Formal methods and traditional engineering. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:40, n:3, pp:191-194 [Journal]
  49. Michael Jackson
    Christopher Strachey: A Personal Recollection. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:73-74 [Journal]
  50. Pamela Zave, Michael Jackson
    Telecommunications Service Requirements: Principles for Managing Complexity. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 1997, v:2, n:2, pp:92-101 [Journal]
  51. Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
    A Reference Model for Requirements and Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2000, v:17, n:3, pp:- [Journal]
  52. Michael Jackson
    Seeing More of the World. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2004, v:21, n:6, pp:83-85 [Journal]
  53. Michael Jackson
    Problems, Methods and Specialization. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:6, pp:57-62 [Journal]
  54. Michael Jackson
    Critical Reading For Software Developers. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1995, v:12, n:6, pp:103-104 [Journal]
  55. Michael Jackson
    Will There Ever Be Software Engineering? [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1998, v:15, n:1, pp:36-39 [Journal]
  56. Michael Jackson
    Defining a Discipline of Description. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1998, v:15, n:5, pp:14-17 [Journal]
  57. Michael Jackson
    Specializing in Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1999, v:16, n:6, pp:119-121 [Journal]
  58. Pamela Zave, Michael Jackson
    A Component-Based Approach to Telecommunication Software. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1998, v:15, n:5, pp:70-78 [Journal]
  59. Michael Jackson
    Some Basic Tenets of Description. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2002, v:1, n:1, pp:5-9 [Journal]
  60. Jon G. Hall, Lucia Rapanotti, Michael Jackson
    Problem frame semantics for software development. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:2, pp:189-198 [Journal]
  61. Pamela Zave, Michael Jackson
    Conjunction as Composition. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:4, pp:379-411 [Journal]
  62. Michael Jackson, Pamela Zave
    Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:10, pp:831-847 [Journal]
  63. Pamela Zave, Michael Jackson
    Where Do Operations Come From: A Multiparadigm Specification Technique. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:7, pp:508-528 [Journal]
  64. Michael Jackson
    Software Development as an Engineering Problem. [Citation Graph (0, 0)][DBLP]
    Angewandte Informatik, 1982, v:24, n:2, pp:96-103 [Journal]

  65. Specialising in Software Engineering. [Citation Graph (, )][DBLP]


  66. The Problem Frames Approach to Software Engineering. [Citation Graph (, )][DBLP]


  67. Some Notes on Models and Modelling. [Citation Graph (, )][DBLP]


  68. Structural Relationships among Models. [Citation Graph (, )][DBLP]


  69. Composing Features by Managing Inconsistent Requirements. [Citation Graph (, )][DBLP]


  70. Are Your Lights Off? Using Problem Frames to Diagnose System Failures. [Citation Graph (, )][DBLP]


  71. Problem Oriented Software Engineering: A design-theoretic framework for software engineering. [Citation Graph (, )][DBLP]


  72. Specialising in Software Engineering. [Citation Graph (, )][DBLP]


  73. The Name and Nature of Software Engineering. [Citation Graph (, )][DBLP]


  74. Automated software engineering: supporting understanding. [Citation Graph (, )][DBLP]


  75. Software engineering and formal methods. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.458secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002