Search the dblp DataBase

Publications of Author

1. Margaret Hamilton, Saydean Zeldin
   Higher Order Software - A Methodology for Defining Software. [Citation Graph (2, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:1, pp:9-32 [Journal]
   
2. Margaret Hamilton, Liz Haywood
   Learning about Software Development - Should Programming Always Come First? [Citation Graph (0, 0)][DBLP]
   ACE, 2004, pp:131-136 [Conf]
   
3. Margaret Hamilton, James Harland, Lin Padgham
   Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. [Citation Graph (0, 0)][DBLP]
   ACE, 2003, pp:207-211 [Conf]
   
4. Rob Barrow, Keith Frampton, Margaret Hamilton, Bruce Crossman
   A Study of the In-Practice Application of a Commercial Software Architecture . [Citation Graph (0, 0)][DBLP]
   Australian Software Engineering Conference, 2005, pp:292-301 [Conf]
   
5. Bình Vu Trân, James Harland, Margaret Hamilton
   Expectation: the logic of flexible motivation. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:1140-1141 [Conf]
   
6. Bình Vu Trân, James Harland, Margaret Hamilton
   A Combined Logic of Expectation & Observation. A generalisation of BDI logics. [Citation Graph (0, 0)][DBLP]
   DALT, 2003, pp:155-172 [Conf]
   
7. Bình Vu Trân, James Harland, Margaret Hamilton
   Expectation Reasoning Using Regret and Disappointment. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:74-78 [Conf]
   
8. Bình Vu Trân, James Harland, Margaret Hamilton
   Observation Expectation Reasoning in Agent Systems. [Citation Graph (0, 0)][DBLP]
   KR, 2004, pp:246-254 [Conf]
   
9. Margaret Hamilton, Saydean Zeldin
   Higher order software techniques applied to a space shuttle prototype program. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1974, pp:17-32 [Conf]
   
10. Paul McIntosh, Margaret Hamilton, Ron G. van Schyndel
    X3D-UML: enabling advanced UML visualisation through X3D. [Citation Graph (0, 0)][DBLP]
    Web3D, 2005, pp:135-142 [Conf]
    
11. Margaret Hamilton, Saydean Zeldin
    The relationship between design and verification. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1979, v:1, n:, pp:29-56 [Journal]
    
12. Margaret Hamilton, Saydean Zeldin
    The functional life cycle model and its automation: USE.IT. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1983, v:3, n:1, pp:25-62 [Journal]
    
13. Ken Gardiner, James Harland, Margaret Hamilton
    A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set. [Citation Graph (0, 0)][DBLP]
    ACAL, 2007, pp:281-291 [Conf]
    
14. 
    Change Propagation Analysis Using Domain Information. [Citation Graph (, )][DBLP]
    
    
15. 
    X3D-UML: 3D UML State Machine Diagrams. [Citation Graph (, )][DBLP]