|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 130 occurrences of 102 keywords
|
|
|
|
|
Results
Found 137 publication records. Showing 137 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leon J. Osterweil |
Preface.  |
Int. J. Software and Informatics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil |
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise |
Developing discrete event simulations from rigorous process definitions. |
SpringSim (TMS-DEVS) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Borislava I. Simidchieva, Leon J. Osterweil |
Characterizing process variation. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
Context, Retrospection, and Prospection in Healthcare Process Definitions. |
Business Process Management Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander E. Wise |
Exception Handling Patterns for Process Modeling. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
Exception handling patterns, process modeling, process modeling languages |
| 1 | Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker |
Evolving Embedded Systems. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Embedded systems, Software evolution, Systems engineering, Design and test, Critical systems |
| 1 | Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise |
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance. |
IEEE T. Automation Science and Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Borislava I. Simidchieva, Leon J. Osterweil |
Categorizing and modeling variation in families of systems: a position paper. |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
software families, software product lines, system architectures, variability, variation |
| 1 | Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li |
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li |
Disruption-Driven Resource Rescheduling in Software Development Processes. |
ICSP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Alexander E. Wise |
Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements. |
ICSP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Lori A. Clarke |
Supporting negotiation and dispute resolution with computing and communication technologies. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke, Leon J. Osterweil, George S. Avrunin |
Supporting human-intensive systems. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Junchao Xiao, Leon J. Osterweil, Qing Wang |
Dynamic scheduling of emergency department resources. |
IHI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens |
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. |
IHI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
Formalisms to Support the Definition of Processes. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
processes, process language, process definition |
| 1 | Borislava I. Simidchieva, Leon J. Osterweil, Alexander E. Wise |
Structural Considerations in Defining Executable Process Models. |
ICSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron G. Cass, Leon J. Osterweil, Alexander E. Wise |
A Pattern for Modeling Rework in Software Development Processes. |
ICSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Barbara Paech |
Workshop on software Engineering in Health Care (SEHC). |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman K. Sondheimer, Ethan Katsh, Lori A. Clarke, Leon J. Osterweil, Daniel Rainey |
Dispute prevention and dispute resolution in networked health information technology. |
D.GO |
2009 |
DBLP DOI BibTeX RDF |
misunderstandings, security, process, accuracy, medical information systems, electronic health records, online dispute resolution, disputes |
| 1 | Leon J. Osterweil, Lori A. Clarke, George S. Avrunin |
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. |
Business Process Management Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
What is software? |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Software engineering, Software development, Software process |
| 1 | Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf |
Determining the Impact of Software Engineering Research on Practice. |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
software engineering research, Impact Project |
| 1 | Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman |
Analyzing medical processes. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
medical processes, model checking, finite-state verification, property specifications |
| 1 | Lori A. Clarke, George S. Avrunin, Leon J. Osterweil |
Using software engineering technology to improve the quality of medical processes. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
medical processes, process verification, continuous process improvement |
| 1 | Barbara Staudt Lerner, Stefan Christov, Alexander E. Wise, Leon J. Osterweil |
Exception handling patterns for processes. |
Workshop on Exception Handling |
2008 |
DBLP DOI BibTeX RDF |
pattern, process modeling, exception handling |
| 1 | Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley |
Experience in using a process language to define scientific workflow and generate dataset provenance. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
scientific workflow, data provenance, continuous process improvement |
| 1 | Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil |
Specifying and verifying requirements for election processes. |
DG.O |
2008 |
DBLP DOI BibTeX RDF |
verification, requirements, process, elections, properties |
| 1 | Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster |
Ensuring reliable datasets for environmental models and forecasts. |
Ecological Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva |
Desiderata for Languages to be Used in the Defnition of Reference Business Processes. |
Int. J. Software and Informatics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil |
What we learn from the study of ubiquitous processes. |
Software Process: Improvement and Practice |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang |
Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM. |
Software Process: Improvement and Practice |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens |
Rigorously Defining and Analyzing Medical Processes: An Experience Report. |
MoDELS Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil |
Representing Process Variation with a Process Family. |
ICSP |
2007 |
DBLP DOI BibTeX RDF |
process families, process variants, process instance generation, software product lines, process variation |
| 1 | Leon J. Osterweil |
A Future for Software Engineering? |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman |
Engineering Medical Processes to Improve Their Safety. |
Situational Method Engineering |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise |
Using process definitions to drive user interactions with digital government systems. |
DG.O |
2007 |
DBLP DOI BibTeX RDF |
dispute resolution, process driven interfaces, prototyping, process, online dispute resolution, process definition |
| 1 | Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser |
Challenges Observed in the Definition of Reference Business Processes. |
Business Process Management Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang |
Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
Automatic Fault Tree Derivation from Little-JIL Process Definitions. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil |
Definition and Analysis of Election Processes. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa (eds.) |
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006 |
ICSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey |
Experimental application of process technology to the creation and adoption of online dispute resolution. |
DG.O |
2006 |
DBLP DOI BibTeX RDF |
mediation, online dispute resolution, process technology |
| 1 | Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander E. Wise, Daniel Rainey |
A process-driven tool to support online dispute resolution. |
DG.O |
2006 |
DBLP DOI BibTeX RDF |
dispute resolution, grievance mediation, prototyping, participatory design, process, online dispute resolution, process technology |
| 1 | Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron G. Cass, Leon J. Osterweil |
Process support to help novices design software faster and better. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
consistency rules, process programming, software design process |
| 1 | Mohammad S. Raunak, Leon J. Osterweil |
Process Definition Language Support for Rapid Simulation Prototyping. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingshu Li, Barry W. Boehm, Leon J. Osterweil (eds.) |
Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers |
ISPW |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil |
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
Unifying Microprocess and Macroprocess Research. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil |
Automatically Analyzing Software Processes: Experience Report. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery R. Boose, David R. Foster |
Process Technology to Facilitate the Conduct of Science. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey |
Early lessons from the application of process technology to online grievance mediation. |
DG.O |
2005 |
DBLP DOI BibTeX RDF |
grievance mediation, participatory design, online dispute resolution, process technology |
| 1 | Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer |
Process Technology for Achieving Government Online Dispute Resolution. |
DG.O |
2004 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil |
Report on new software engineering faculty symposium (NSEFS 03) a full-day symposium held in conjunction with ICSE 2003 5 May 2003 Portland, OR, USA. |
ACM SIGSOFT Software Engineering Notes |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Osterweil |
Formalizing Rework in Software Processes. |
EWSPT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
New Software Engineering Faculty Symposium (NSEFS 03). (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
Understanding process and the quest for deeper questions in software engineering research. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
software analysis tools, software engineering, software process, software environments |
| 1 | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
FLAVERS: A finite state verification technique for software systems. |
IBM Systems Journal |
2002 |
DBLP BibTeX RDF |
|
| 1 | Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
PROPEL: an approach supporting property elucidation. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Philippe Kruchten, Martin Fowler, Wilhelm Schäfer |
Lightweight vs. heavyweight processes: is this even the right question? |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner |
Containment units: a hierarchically composable architecture for adaptive systems. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
containment units, adaptive systems, self-healing systems |
| 1 | Aaron G. Cass, Leon J. Osterweil |
Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper. |
EWSPT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice. |
ICSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil, Gabriel M. Silberman, Kenny Wong |
New Software Engineering Faculty Symposium. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas |
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? |
ICSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil |
An architecture for flexible, evolvable process-driven user-guidance environments. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
user interface design, tool integration, process guidance |
| 1 | Leon J. Osterweil, Lori A. Clarke |
Continuous Self-Evaluation for the Self-Improvement of Software. |
IWSAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Lori A. Clarke |
Frameworks for Reasoning about Agent Based Systems. |
Agents Workshop on Infrastructure for Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoqin Zhang, Anita Raja, Barbara Staudt Lerner, Victor R. Lesser, Leon J. Osterweil, Thomas Wagner |
Integrating High-Level and Detailed Agent Coordination into a Layered Architecture. |
Agents Workshop on Infrastructure for Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
Verifying properties of process definitions. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr. |
Using Little-JIL to Coordinate Agents in Software Engineering. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron G. Cass, Leon J. Osterweil |
Design Guidance through the Controlled Application of Constraints. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil |
Little-JIL/Juliette: a process definition language and interpreter. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Little-JIL, process programming, workflow, coordination, process |
| 1 | Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller |
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf |
The impact project: determining the impact of software engineering research upon practice (panel session). |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Bhattacharyya, Leon J. Osterweil |
Relocation in Mobile Process-Centered Software Development Environments. (PDF / PS) |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
mobile process-centered software development environments, software development process specification, mobile user relocation, process centered software development environments, flow graph analysis based approach, high speed wired link, lower speed interruptible link, analysis engine, process pruning, flow graph structure, detachment request, mobile link, mobile workstation, predefined heuristics/guidelines, mobile computing, development process, context information, process specification |
| 1 | David Jensen, Yulin Dong, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise |
Coordinating agent activities in knowledge discovery processes. |
WACC |
1999 |
DBLP DOI BibTeX RDF |
agenda management, process programming, knowledge representation, agent coordination, knowledge discovery process |
| 1 | Martin L. Griss, Qiming Chen, Gregory A. Bolcer, Robert R. Kessler, Leon J. Osterweil |
Agents and Workflow - An Intimate Connection, or Just Friends? |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
Agents, Workflow, Components, Scripting |
| 1 | Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil |
Modeling Resources for Activity Coordination and Scheduling. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiping Song, Leon J. Osterweil |
Engineering Software Design Processes to Guide Process Execution. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
design methodology, design methods, Software design process |
| 1 | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil |
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Staudt Lerner, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise |
Programming Process Coordination in Little-JIL. |
EWSPT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil |
JIL and Little-JIL Process Programming Languages. |
EWSPT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric K. McCall, Lori A. Clarke, Leon J. Osterweil |
An Adaptable Generation Approach to Agenda Management. |
ICSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley M. Sutton Jr., Leon J. Osterweil |
The Design of a Next-Generation Process Language. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
Applying Static Analysis to Software Architectures. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodion M. Podorozhny, Leon J. Osterweil |
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
base framework, process formalism, software process, comparison, software development methodology |
| 1 | Leon J. Osterweil |
Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer |
Verification of Concurrent Software with FLAVERS. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
accuracy improving, verification, static analysis, data flow analysis |
| 1 | Leon J. Osterweil |
Strategic Directions in Software Quality. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley M. Sutton Jr., Leon J. Osterweil |
Product families and process families. (PDF / PS) |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
software process families, host platforms, software process engineering, security, software engineering, product lines, software product families |
| 1 | Leon J. Osterweil |
Improving the quality of software quality determination processes. |
Quality of Numerical Software |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil |
Multilanguage Interoperability in Distributed Systems. |
ICSE |
1996 |
DBLP BibTeX RDF |
Ada client program, Arcadia software architecture, C language server, Q system, multilanguage interoperability, multilingual heterogeneous component-based software systems, programming language support systems, Java, performance, distributed systems, reliability, C++, PROLOG, Prolog, conceptual model, software reliability, LISP, Lisp, open systems, object-oriented languages, portability, client-server systems, software portability, C language, Tcl, communication mechanism |
| 1 | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil |
Verification of Communication Protocols Using Data Flow Analysis. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | F. E. Eassa, Leon J. Osterweil, M. Z. Abdel Mageed |
AIDA: A dynamic analyzer for Ada programs. |
Journal of Systems and Software |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil |
APPL/A: A Language for Software Process Programming. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
multiparadigm programming languages, software process programming, Ada, transaction management, consistency management, APPL |
Displaying result #1 - #100 of 137 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")