Results 1-8 of 8
Publication DateTitleAuthor(s)
1-Jan-1994Regis-Darwin specified in the p-CalculusEisenbach, S; Kramer, J; Magee, JN
1-Dec-2005Fluent temporal logic for discrete-time event-based modelsLetier, E; Kramer, J; Magee, J; Uchitel, S
31-Dec-1995System structuring: a convergence of theory and practice?Magee, J; Kramer, J; Eisenbach, S
30-Apr-2004Deriving Event-Based Transition Systems from Goal-Oriented Requirements ModelsUchitel, S; Magee, J; Kramer, J; Letier, E
1-Mar-2000The Koala component model for consumer electronics softwarevan Ommering, R; van der Linden, F; Kramer, J; Magee, J
1-Feb-2003Synthesis of behavioral models from scenariosUchitel, S; Kramer, J; Magee, J
31-Dec-1994Specifying the Concurrent Programming System\r\nRegis in the Pi-Calculus\r\nEisenbach, S; Kramer, J; Magee, J
31-Dec-1995Configuration Management for Distributed Software ServicesCrane, S; Dulay, N; Fossa, H; Kramer, J; Magee, JN, et al
  • previous
  • 1
  • next