BibSonomy :: user  :: cedricmesnage ::

bookmarks

publications

(4)   

• Tabular Expressions and Their Relational Semantics
  Ryszard Janicki and Alan Wassyng Fundam. Inf.67(4):343--370(2005)
  to phd SE by cedricmesnage and 1 other person on Jan 17, 2008, 4:15 PM
  URL | BibTeX | spam 
• Why software writing is difficult and will remain so
  Michael Jackson Information Processing Letters88(1-2):13--25#oct#2003.
  to phd SE by cedricmesnage and 1 other person on Jan 15, 2008, 2:21 PM
  URL | BibTeX | spam 
• Functional documents for computer systems
  David Lorge Parnas and Jan Madey Sci. Comput. Program.25(1):41--61(1995)
  to phd SE by cedricmesnage and 2 other people on Jan 15, 2008, 2:15 PM
  URL | BibTeX | spam 
• Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
  Paola Inverardi and Alexander L. Wolf IEEE Trans. Softw. Eng.21(4):373--386(1995)
  to SE by cedricmesnage and 1 other person on Dec 12, 2007, 5:16 PM
  URL | BibTeX | spam