BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Singapore
1 × South Africa
2 × Germany
2 × The Netherlands
6 × USA
Collaborated with:
A.M.Zaremski M.C.Tschantz B.Liskov S.Jha M.Vaziri E.J.Rollins M.Herlihy D.M.Berry G.T.Leavens M.Barbacci C.B.Weinstock D.Garlan A.W.Brown D.Jackson J.E.Tomayko
Talks about:
specif (7) softwar (5) formal (3) system (2) subtyp (2) object (2) method (2) match (2) key (2) curriculum (1)

Person: Jeannette M. Wing

DBLP DBLP: Wing:Jeannette_M=

Facilitated 2 volumes:

World Congress on Formal Methods 1999Ed
World Congress on Formal Methods 1999Ed

Contributed to:

HILT 20132013
FM 20092009
SEFM 20082008
ICSE 20012001
CSEE 19951995
FSE 19951995
ECOOP 19931993
FSE 19931993
OOPSLA 19931993
LICS 19921992
ICLP 19911991
ICSE 19881988
POPL 19871987
VDM Europe (1) 19911991
TAPSOFT, Vol.2: CSE 19851985
TAPSOFT, Vol.2: AS 19891989

Wrote 19 papers:

HILT-2013-Wing #formal method #industrial #perspective
Formal methods: an industrial perspective (JMW), pp. 85–86.
FM-2009-TschantzW #formal method #privacy
Formal Methods for Privacy (MCT, JMW), pp. 1–15.
SEFM-2008-TschantzW #policy
Extracting Conditional Confidentiality Policies (MCT, JMW), pp. 107–116.
ICSE-2001-JhaW #analysis #network
Survivability Analysis of Network Systems (SJ, JMW), pp. 307–317.
CSEE-1995-GarlanBJTW #education #re-engineering
The CMU Master of Software Engineering Core Curriculum (DG, AWB, DJ, JET, JMW), pp. 65–86.
FSE-1995-WingV #case study #model checking
Model Checking Software Systems: A Case Study (JMW, MV), pp. 128–139.
FSE-1995-ZaremskiW #component #specification
Specification Matching of Software Components (AMZ, JMW), pp. 6–17.
ECOOP-1993-LiskovW #type system
A New Definition of the Subtype Relation (BL, JMW), pp. 118–141.
FSE-1993-ZaremskiW #reuse
Signature Matching: A Key to Reuse (AMZ, JMW), pp. 182–190.
OOPSLA-1993-LiskovW #specification #type system
Specifications and Their Use in Defining Subtypes (BL, JMW), pp. 16–28.
LICS-1992-Wing #development #specification
Specification in Software Development (JMW), p. 112.
ICLP-1991-RollinsW #library #specification
Specifications as Search Keys for Software Libraries (EJR, JMW), pp. 173–187.
ICSE-1988-BarbacciWW #programming
Programming at the Processor-Memory-Switch Level (MB, CBW, JMW), pp. 19–29.
POPL-1987-HerlihyW #axiom #concurrent
Axioms for Concurrent Objects (MH, JMW), pp. 13–26.
VDME-1991-WingZ #specification
Unintrusive Ways to Integrate Formal Specifications in Practice (JMW, AMZ), pp. 545–569.
CSE-1985-BerryW #prototype #specification #why
Specification and Prototyping: Some Thoughts on Why They Are Successful (DMB, JMW), pp. 117–128.
AS-1989-Wing #specification
Specifying Avalon Objects in Larch (JMW), pp. 61–80.
TAPSOFT-1997-LeavensW #interface #specification
Protective Interface Specifications (GTL, JMW), pp. 520–534.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.