BibSonomy :: author  ::

bookmarks

publications

(103)

• Compositional control of IP media.
  Pamela Zave and Eric Cheung CoNEXT 18 (2006)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Conjunction as composition
  Pamela Zave and Michael Jackson ACM Trans. Softw. Eng. Methodol. 2 379--411 (1993)
  to imported by kdubiq and 1 other person on 2008-04-30 12:59:47
  | BibTeX  
• Matching and Merging of Statecharts Specifications
  Shiva Nejati and Mehrdad Sabetzadeh and Marsha Chechik and Steven Easterbrook and Pamela Zave (2007)
  to merge model statecharts by neilernst and 1 other person on 2007-10-19 18:55:16
  | URL | BibTeX  
• Requirements for Routing in the Application Layer.
  Pamela Zave COORDINATION 19-36 (2007)
  to dblp by dblp on 2007-07-09 00:00:00
  | URL | BibTeX  
• Matching and Merging of Statecharts Specifications.
  Shiva Nejati and Mehrdad Sabetzadeh and Marsha Chechik and Steve M. Easterbrook and Pamela Zave ICSE 54-64 (2007)
  to dblp by dblp and 1 other person on 2007-06-01 00:00:00
  | URL | BibTeX  
• Four dark corners of requirements engineering
  Pamela Zave and Michael Jackson ACM Trans. Softw. Eng. Methodol. 6 1--30 (1997)
  to engineering requirements by yijunyu and 4 other people on 2007-03-17 15:34:03
  | URL | BibTeX  
• Four dark corners of requirements engineering
  P. Zave and M. Jackson ACM Transactions on Software Engineering and Methodology (TOSEM) 6 1--30 (1997)
  to TOREAD requirements-engineering by mstrohm and 4 other people on 2006-11-20 18:48:04
  | BibTeX  
• Compositional Binding in Network Domains.
  Pamela Zave FM 332-347 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX  
• Deriving specifications from requirements: an example
  M. Jackson and P. Zave ICSE '95: Proceedings of the 17th international conference on Software engineering 15--24 (1995)
  to INFLUENTIAL TOREAD requirements-engineering by mstrohm and 1 other person on 2006-08-08 20:09:01
  | BibTeX  
• A Distributed Alternative to Finite-State-Machine Specifications.
  Pamela Zave ACM Trans. Program. Lang. Syst. 7 10-36 (1985)
  to dblp by dblp on 2006-04-03 00:00:00
  | URL | BibTeX