BibSonomy :: author  ::

bookmarks

publications

(152)

• Incremental Benchmarks for Software Verification Tools and Techniques.
  Bruce W. Weide and Murali Sitaraman and Heather K. Harton and Bruce Adcock and Paolo Bucci and Derek Bronish and Wayne D. Heym and Jason Kirschenbaum and David Frazier VSTTE 84-98 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• A Fundamental View on the Process of Conceptual Modeling
  S.J.B.A. Hoppenbrouwers and H.A. Proper and Th.P. der Weide Conceptual Modeling – ER 2005 128--143 (2005)
  to cites.cm.d cites.pclass.d mrefs research.conceptual by msn and 1 other person on 2008-08-25 12:47:52
  | URL | BibTeX  
• A generic qualitative characterization of independence of causal influence.
  Marcel van Gerven and Peter J. F. Lucas and Theo P. van der Weide Int. J. Approx. Reasoning 48 214-236 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• The Enabling of an Execute-In-Place Architecture to Reduce the Embedded System Memory Footprint and Boot Time.
  Tony Benavides and Justin Treon and Jared Hulbert and Weide Chang JCP 3 79-89 (2008)
  to dblp by dblp on 2008-08-12 00:00:00
  | URL | BibTeX  
• Guest Editor's Introduction.
  Bruce W. Weide International Journal of Software Engineering and Knowledge Engineering 3 163-164 (1993)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• A Framework for Modeling Software Engineering Processes.
  Bruce W. Weide and Samuel DeFazio International Journal of Software Engineering and Knowledge Engineering 3 351-368 (1993)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• Access Control Strategies for Coordinating Teams of Software Engineers.
  Michael P. Stovsky and Bruce W. Weide International Journal of Software Engineering and Knowledge Engineering 1 57-73 (1991)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• Typing and Transformational Effects in Complex Information Supply.
  Bas van Gils and Henderik Alex Proper and Patrick van Bommel and Theo P. van der Weide Int. J. Cooperative Inf. Syst. 16 229-269 (2007)
  to dblp by dblp on 2008-06-20 00:00:00
  | URL | BibTeX  
• Issues in performance certification for high-level automotive control software.
  Bruce W. Weide and Paolo Bucci and Wayne D. Heym and Murali Sitaraman and Giorgio Rizzoni ACM SIGSOFT Software Engineering Notes 30 1-6 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• A specification-based approach to reasoning about pointers.
  Gregory Kulczycki and Murali Sitaraman and Bruce W. Weide and Atanas Rountev ACM SIGSOFT Software Engineering Notes 31 (2006)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX