dblp.uni-trier.dewww.uni-trier.de

Alan Wassyng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
8EENazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
2008
7EET. S. E. Maibaum, Alan Wassyng: A Product-Focused Approach to Software Certification. IEEE Computer 41(2): 91-93 (2008)
2006
6EEAlan Wassyng, Mark Lawford: Software tools for safety-critical software development. STTT 8(4-5): 337-354 (2006)
2005
5EEAlan Wassyng, Mark Lawford, Xiayong Hu: Timing Tolerances in Safety-Critical Software. FM 2005: 157-172
4EEDaniel M. Berry, Daniela Damian, Anthony Finkelstein, Donald C. Gause, Robert Hall, Alan Wassyng: To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? RE 2005: 447
3EERyszard Janicki, Alan Wassyng: Tabular Expressions and Their Relational Semantics. Fundam. Inform. 67(4): 343-370 (2005)
2003
2EERyszard Janicki, Alan Wassyng: On tabular expressions. CASCON 2003: 92-106
1EEAlan Wassyng, Mark Lawford: Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME 2003: 133-153

Coauthor Index

1Nazareno Aguirre [8]
2Daniel M. Berry [4]
3Daniela E. Damian (Daniela E. Herlea, Daniela Damian) [4]
4Anthony Finkelstein [4]
5Marcelo F. Frias [8]
6Donald C. Gause [4]
7Robert Hall [4]
8Xiayong Hu [5]
9Ryszard Janicki [2] [3]
10Mark Lawford [1] [5] [6]
11T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [7] [8]
12Mariano M. Moscato [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)