Lin Zucconi

14 papers A* 1C 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
1997 — conf
A framework for adding time into formal object models.
WORDS
Jin Song Dong, Lin Zucconi
1997 C conf
Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program.
ICFEM
Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton
1997 — conf
Specifying Parallel and Distributed Systems in Object-Z.
PDSE
Jin Song Dong, Lin Zucconi, Roger Duke
1996 J jnl
Building testable software.
ACM SIGSOFT Softw. Eng. Notes
Lin Zucconi, Karl Reed
1996 — conf
Do Formal Methods Really Work?
Australian Software Engineering Conference
Lin Zucconi, Greg Royle, Karl Reed, John Staples
1995 — conf
Essential Knowledge for the Practising Software Engineer and the Responsibilities of University and Industry for Her Education.
CSEE
Lin Zucconi
1995 C conf
Software Process Improvement Paradigms for IT Industry: Why the Bottom-Up Approach Fits Best.
APSEC
Lin Zucconi
1995 C conf
Software Process Improvement Paradigms.
APSEC
Lin Zucconi
1994 J jnl
Issues concerning re-engineering of legacy software in the federal R&D environment.
ACM SIGSOFT Softw. Eng. Notes
Lin Zucconi
1990 J jnl
Response to "Is Asia really a threat?".
J. Syst. Softw.
Lin Zucconi
1990 J jnl
U.S. technology: We're losing the edge in software.
J. Syst. Softw.
Lin Zucconi
1990 A* conf
Using Object-Oriented Development for Support Prototyping (Experience Report).
ICSE
Lin Zucconi, Gregory Mack, Lloyd G. Williams
1989 J jnl
Selecting a CASE tool.
ACM SIGSOFT Softw. Eng. Notes
Lin Zucconi
1989 J jnl
Techniques and experiences capturing requirements for several real-time applications.
ACM SIGSOFT Softw. Eng. Notes
Lin Zucconi