default search action
11th ICSE 1989: Pittsburg, PA, USA
- Larry E. Druffel, Dick Fairley, Dines Bjørner:
Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989. IEEE Computer Society / ACM Press 1989, ISBN 0-8186-1941-4
Software Development Environments
- Dewayne E. Perry:
The Inscape Environment. 2-12 - Ian Thomas:
Tool Integration in the Pact Environment. 13-22 - Mitchell D. Lubars:
The IDeA Design Environment. 23-32
Analysis Techniques
- Gruia-Catalin Roman, Kenneth C. Cox:
Declarative Visualization in the Shared Dataspace Paradigm. 34-43 - Douglas L. Long, Lori A. Clarke:
Task Interaction Graphs for Concurrency Analysis. 44-52 - Michal Young, Richard N. Taylor:
Rethinking the Taxonomy of Fault Detection Techniques. 53-62
Specification and Design
- Motoshi Saeki, Hisayuki Horai, Hajime Enomoto:
Software Development Process from Natural Language Specification. 64-73 - Luc Jadoul, Luc Duponcheel, Willy Van Puymbroeck:
An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment. 74-84 - Gregory Fox:
Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems. 85-94
Panel: A Twenty Year Retrospective of the NATO Software Engineering Conferences
- James E. Tomayko:
Twenty-Year Retrospective: The NATO Software Engineering Conferences. 96 - Bernard A. Galler:
Thoughts on Software Engineering. 97 - David Gries:
My Thoughts on Software Engineering in the Late 1960s. 98 - Mary Shaw
:
Remembrances of a Graduate Student. 99-100 - Douglas T. Ross:
The NATO Conferences form the Perspective of an Active Software Engineer. 101-102
Knowledge-Based and Formal Approaches
- Bradley P. Allen, S. Daniel Lee:
A Knowledge-Based Environment for the Development of Software Parts Composition Systems. 104-112 - Wojtek Kozaczynski, Jim Q. Ning:
SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities. 113-122 - S. Patel, Rodney A. Orr, Mark T. Norris, David W. Bustard:
Tools to Support Formal Methods. 123-132
Panel: Software Engineering for Business Applications
- Tom DeMarco:
Twenty Years of Software Engineering: Looking Forward, Looking Back. 134 - Michael Jackson:
Software Engineering for Business DP: Looking Back and Looking Forward. 135 - Nicholas Zvegintzov:
Software Survivor. 136
Software Development Environments
- T. Gallo, G. Serrano, Francesco Tisato:
ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable Systems. 138-144 - Katsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii:
A Formal Adaptation Method for Process Descriptions. 145-153 - Evan Adams, Masahiro Honda, Terrence C. Miller:
Object Management in a CASE Environment. 154-163
Formal Approaches
- Ataru T. Nakagawa, Kokichi Futatsugi:
Stepwise Refinement Process with Modularity: An Algebraic Approach. 166-177 - Alan Carle, Lori L. Pollock:
Modular Specification of Incremental Program Transformation Systems. 178-187 - Kaizhi Yue:
Validating System Requirements by Functional Decomposition and Dynamic Analysis. 188-196
Software Design
- Linda M. Ott, Jeffrey J. Thuss:
The Relationship between Slices and Module Cohesion. 198-204 - Kevin W. Jameson:
A Model for the Reuse of Software Design Information. 205-216 - Colin Potts:
A Generic Model for Representing Design Methods. 217-226
Panel: Software Engineering Research Agendas
- Peter Freeman:
Software Engineering Research Agendas - A View from the Trenches (Panel). 228
Complexity and Reliability
- Yutaka Nakagawa, Shuetsu Hanata:
An Error Complexity Model for Software Reliability Measurement. 230-236 - Mitsuru Ohba, Xiao-Mei Chou:
Does Imperfect Debugging Affect Software Reliability Growth? 237-244 - John C. Munson, Taghi M. Khoshgoftaar:
The Dimensionality of Program Complexity. 245-253
Panel: Software Engineering in the Year 2001
- Robert Balzer:
Software Engineering in the Year 2001. 256 - Michael Jackson:
Software Development in the Year 2000. 257 - Michel Sintzoff:
The Scientific Engineering of Software. 258
Process Assessment
- Salah Bendifallah, Walt Scacchi:
Work Structures and Shifts: An Empirical Analysis of Software Specification Teamwork. 260-270 - Tom DeMarco, Tim Lister:
Software Development: State of the Art vs. State of the Practice. 271-275 - Watts S. Humphrey, David H. Kitson, Tim C. Kasse:
The State of Software Engineering Practice: A Preliminary Report. 277-288
Real-Time Systems
- Hassan Gomaa:
Structuring Criteria for Real Time System Design. 290-301 - Matthew S. Jaffe, Nancy G. Leveson:
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. 302-311 - C. Samuel Hsieh:
Timing Analysis of Cyclic Concurrent Programs. 312-318
Process Modeling
- Yves Bernard, Pierre Lavency:
A Process-Oriented Approach to Configuration Management. 320-330 - Watts S. Humphrey, Marc I. Kellner:
Software Process Modeling: Principles of Entity Process Models. 331-342 - Takuya Katayama:
A Hierarchical and Functional Software Process Description and Its Enaction. 343-352
Panel: Completely Validated Software
- John C. Cherniavsky:
Validation Through Testing. 354 - Richard A. DeMillo:
Test Adequacy and Program Mutation. 355-356 - William E. Howden:
Error-Based Validation Completeness. 357 - Richard C. Linger:
Mathematics-Based Software Engineering for Completely Validated Software. 358 - Richard A. Kemmerer:
Completely Validated Software. 359-360 - Elaine J. Weyuker:
In Defense of Coverage Criteria. 361
Current Issues
- Walter F. Tichy, Rolf Adams, Lars Holter:
NLH/E: A Natural Language Help System. 364-374 - June M. Verner, Graham Tate, B. Jackson, Richard G. Hayward:
Technology Dependence in Function Point Analysis: A Case Study and Critical Review. 375-382 - Robert W. Schwanke, Ellis S. Cohen, Raimund Gluecker, William M. Hasling, D. A. Son, Michael E. Wagner:
Configuration Management in BiiN SMS. 383-393
Panel: Modeling the Software Process
- Gregory A. Hansen:
Modeling the Software Engineering Process. 396 - Barry W. Boehm:
What We Really Need Are Process Model Generators. 397 - Bill Curtis:
Three Problems Overcome with Behavioral Models of the Software Development Process. 398-399 - Marc I. Kellner:
Software Process Modeling Experience (Panel Session Position Paper). 400-401 - Anthony Finkelstein:
"Not Waving but Drowning": Representation Schemes for Modelling Software Development. 402-404
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: