KramerJeff

发表

Detecting implied scenarios in message sequence chart specifications

UchitelSebastian, KramerJeff, MageeJeff, 2001 .

Dynamic Configuration for Distributed Systems

MageeJeff, KramerJeff, 1985 .

Goal and scenario validation: a fluent combination

UchitelSebastian, KramerJeff, MageeJeff, 2006 .

Negative scenarios for implied scenario elicitation

UchitelSebastian, KramerJeff, MageeJeff, 2002 .

The Koala Component Model for Consumer Electronics Software

KramerJeff, MageeJeff, van OmmeringRob, 2000 .

Is abstraction the key to computing

KramerJeff, 2007 .

Automated support for diagnosis and repair

UchitelSebastian, KramerJeff, RussoAlessandra, 2015 .

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

UchitelSebastian, KramerJeff, MageeJeff, 2004 .

Checking safety properties using compositional reachability analysis

KramerJeff, CheungShing Chi, 1999 .

Engineering distributed software

KramerJeff, MageeJeff, 2005 .

From software requirements to architectures (STRAW01)

CastroJaelson, KramerJeff, 2001 .

Context constraints for compositional reachability analysis

KramerJeff, CheungShing Chi, 1996 .

Determining the Impact of Software Engineering Research on Practice

J OsterweilLeon, L WolfAlexander, KramerJeff, 2008 .

The Evolving Philosophers Problem

MageeJeff, KramerJeff, 1990 .

The Role of Abstraction in Software Engineering

HazzanOrit, KramerJeff, 2006 .