2000 |
8 | EE | Glenn Bruns,
Alan E. Frey,
Peter Mataga,
Susan J. Tripp:
Automated software development with XML and the Java* language.
Bell Labs Technical Journal 5(2): 32-43 (2000) |
7 | EE | Thomas Ball,
Veta Bonnewell,
Peter J. Danielsen,
Peter Mataga,
Kenneth Rehor:
Speech-enabled services using TelePortalTM software and VoiceXMLstar.
Bell Labs Technical Journal 5(3): 98-111 (2000) |
1998 |
6 | | Glenn Bruns,
Peter Mataga,
Ian Sutherland:
Features as Service Transformations.
FIW 1998: 85-97 |
5 | EE | Thomas Ball,
Peter Mataga,
Shmuel Sagiv:
Edge Profiling versus Path Profiling: The Showdown.
POPL 1998: 134-148 |
1997 |
4 | EE | David L. Atkins,
Thomas Ball,
Michael Benedikt,
Glenn Bruns,
Kenneth C. Cox,
Peter Mataga,
Kenneth Rehor:
Experience with a Domain Specific Language for Form-based Services.
DSL 1997: 37-50 |
1996 |
3 | EE | Mark A. Ardis,
John A. Chaves,
Lalita Jategaonkar Jagadeesan,
Peter Mataga,
Carlos Puchol,
Mark G. Staskauskas,
James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.
IEEE Trans. Software Eng. 22(6): 378-389 (1996) |
1995 |
2 | EE | Mark A. Ardis,
John A. Chaves,
Lalita Jategaonkar Jagadeesan,
Peter Mataga,
Carlos Puchol,
Mark G. Staskauskas,
James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.
ICSE 1995: 159-168 |
1994 |
1 | | Peter Mataga,
Pamela Zave:
Formal Specification of Telephone Features.
Z User Workshop 1994: 29-50 |