BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Finland
1 × France
1 × Ireland
1 × Italy
1 × Switzerland
13 × USA
2 × Canada
2 × Germany
2 × Japan
2 × United Kingdom
Collaborated with:
L.A.Clarke G.Naumovich B.I.Simidchieva J.M.Cobleigh A.G.Cass S.M.S.Jr. A.E.Wise G.S.Avrunin E.K.McCall R.M.Podorozhny B.S.Lerner K.M.Olender B.Raither G.Clemm E.W.Myers L.D.Fosdick P.L.Henneman M.J.Maybee D.Heimbigner D.J.Richardson S.L.Aha J.Xiao Q.Wang M.Li P.Kruchten M.Fowler W.Schäfer R.L.Smith T.J.Sliski M.P.Billmers M.B.Dwyer S.Y.Shin Y.Brun H.Balasubramanian M.L.Griss Q.Chen G.A.Bolcer R.R.Kessler B.Chen E.A.Henneman B.W.Boehm M.Evangelist V.Gruhn J.Kramer E.F.Miller A.M.Ellison E.R.Boose J.L.Hadley
Talks about:
softwar (14) process (13) environ (5) languag (4) generat (4) analysi (4) system (4) verif (4) flow (4) data (4)

♂ Person: Leon J. Osterweil

DBLP DBLP: Osterweil:Leon_J=

Facilitated 4 volumes:

ICSE 2006Ed
ICSE 2006GCh
FSE 1998GCh
ICSE 1994Ed

Contributed to:

FASE 20152015
SPLC 20142014
ICSE 20112011
FASE 20102010
FSE 20082008
ICSE 20082008
ASE 20052005
ESEC/FSE 20032003
FSE 20022002
ICSE 20022002
ESEC/FSE 20012001
ICSE 20012001
ASE 20002000
ICSE 20002000
ISSTA 20002000
TOOLS USA 19991999
ICSE 19981998
PASTE 19981998
ESEC/FSE 19971997
ICSE 19971997
FSE 19961996
ICSE 19961996
ISSTA 19891989
ESEC 19871987
ICSE 19871987
Ada Software Tools Interfaces 19831983
ICSE 19821982
ICSE 19811981
ICSE 19761976

Wrote 36 papers:

FASE-2015-ShinBOBH #prototype #specification
Resource Specification for Prototyping Human-Intensive Systems (SYS, YB, LJO, HB, PLH), pp. 332–346.
SPLC-2014-SimidchievaO #composition #generative #product line #verification
Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.
ICSE-2011-SimidchievaO #process
Characterizing process variation (BIS, LJO), pp. 836–839.
FASE-2010-XiaoOWL #development #scheduling
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments (JX, LJO, QW, ML), pp. 107–122.
FSE-2008-OsterweilCEPWBH #dataset #experience #process #using #workflow
Experience in using a process language to define scientific workflow and generate dataset provenance (LJO, LAC, AME, RMP, AEW, ERB, JLH), pp. 319–329.
ICSE-2008-ChenAHCOH #process
Analyzing medical processes (BC, GSA, EAH, LAC, LJO, PLH), pp. 623–632.
ASE-2005-CassO #design #performance #process
Process support to help novices design software faster and better (AGC, LJO), pp. 295–299.
ESEC-FSE-2003-Osterweil #comprehension #process #re-engineering #research
Understanding process and the quest for deeper questions in software engineering research (LJO), pp. 6–14.
FSE-2002-CobleighOWL #adaptation #architecture #composition
Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.
ICSE-2002-OsterweilKFS #lightweight #process #question
Lightweight vs. heavyweight processes: is this even the right question? (LJO, PK, MF, WS), p. 649.
ICSE-2002-SmithACO #approach #named
PROPEL: an approach supporting property elucidation (RLS, GSA, LAC, LJO), pp. 11–21.
ESEC-FSE-2001-SliskiBCO #architecture #evolution #flexibility
An architecture for flexible, evolvable process-driven user-guidance environments (TJS, MPB, LAC, LJO), pp. 33–43.
ICSE-2001-CobleighCO #algorithm #analysis #data flow #finite #verification
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (JMC, LAC, LJO), pp. 37–46.
ASE-2000-WiseCLMOS #coordination #re-engineering #using
Using Little-JIL to Coordinate Agents in Software Engineering (AEW, AGC, BSL, EKM, LJO, SMSJ), pp. 155–164.
ICSE-2000-CassLSMWO #interpreter #named #process
Little-JIL/Juliette: a process definition language and interpreter (AGC, BSL, SMSJ, EKM, AEW, LJO), pp. 754–757.
ICSE-2000-OsterweilBEGKM #re-engineering #research #why
Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.
ISSTA-2000-CobleighCO #process #verification
Verifying properties of process definitions (JMC, LAC, LJO), pp. 96–101.
TOOLS-USA-1999-GrissCBKO #question #workflow
Agents and Workflow — An Intimate Connection, or Just Friends? (MLG, QC, GAB, RRK, LJO), pp. 558–562.
ICSE-1998-McCallCO #adaptation #approach #generative
An Adaptable Generation Approach to Agenda Management (EKM, LAC, LJO), pp. 282–291.
PASTE-1998-NaumovichCO #analysis #concurrent #data flow #performance #source code
Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.
ESEC-FSE-1997-NaumovichACO #architecture #static analysis
Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.
ESEC-FSE-1997-SuttonO #design #process
The Design of a Next-Generation Process Language (SMSJ, LJO), pp. 142–158.
ICSE-1997-NaumovichCOD #concurrent #verification
Verification of Concurrent Software with FLAVERS (GN, LAC, LJO, MBD), pp. 594–595.
ICSE-1997-Osterweil #process
Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (LJO), pp. 540–548.
ICSE-1997-PodorizhnyO #case study #comparison #design #experience #modelling
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report (RMP, LJO), pp. 303–313.
FSE-1996-NaumovichCO #analysis #communication #data flow #protocol #using #verification
Verification of Communication Protocols Using Data Flow Analysis (GN, LAC, LJO), pp. 93–105.
ICSE-1996-MaybeeHO #distributed #multi
Multilanguage Interoperability in Distributed Systems (MJM, DH, LJO), pp. 451–463.
TAV-1989-OlenderO #constraints #named
Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.
TAV-1989-RichardsonAO #process #programming #testing
Integrating Testing Techniques Through Process Programming (DJR, SLA, LJO), pp. 219–228.
ESEC-1987-RaitherO #c #named #testing
TRICS: A Testing Tool for C (BR, LJO), pp. 254–262.
ICSE-1987-Osterweil #process
Software Processes Are Software Too (LJO), pp. 2–13.
ICSE-1987-Osterweil87a #lessons learnt
Lessons of Current Environments (LJO), p. 286.
Ada-1983-OsterweilC #approach
The Toolpack/IST Approach to Extensibility in Software Environments (LJO, GC), pp. 133–163.
ICSE-1982-Osterweil #development #named #research
Toolpack — An Experimental Software Development Environment Research Project (LJO), pp. 166–177.
ICSE-1981-MyersO #fortran
BIGMAC II: A FORTRAN Language Augmentation Tool (EWM, LJO), pp. 410–421.
ICSE-1976-FosdickO #data flow #detection #interprocedural
The Detection of Anomalous Interprocedural Data Flow (LDF, LJO), pp. 624–628.

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.