Collaboration and Composition: Issues for a Second Generation Process Language (English)
- New search for: Warboys, B. C.
- New search for: Balasubramaniam, D.
- New search for: Greenwood, R. M.
- New search for: Kirby, G. N. C.
- New search for: Mayes, K.
- New search for: Morrison, R.
- New search for: Munro, D. S.
- New search for: Warboys, B. C.
- New search for: Balasubramaniam, D.
- New search for: Greenwood, R. M.
- New search for: Kirby, G. N. C.
- New search for: Mayes, K.
- New search for: Morrison, R.
- New search for: Munro, D. S.
In:
SOFTWARE ENGINEERING NOTES
;
24
, 6
;
75-90
;
1999
-
ISSN:
- Article (Journal) / Print
-
Title:Collaboration and Composition: Issues for a Second Generation Process Language
-
Contributors:Warboys, B. C. ( author ) / Balasubramaniam, D. ( author ) / Greenwood, R. M. ( author ) / Kirby, G. N. C. ( author ) / Mayes, K. ( author ) / Morrison, R. ( author ) / Munro, D. S. ( author )
-
Published in:SOFTWARE ENGINEERING NOTES ; 24, 6 ; 75-90
-
Publisher:
- New search for: ACM ASSOCIATION FOR COMPUTING MACHINERY
-
Publication date:1999-01-01
-
Size:16 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 24, Issue 6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Extreme Programming: A Discipline of Software DevelopmentBeck, K. et al. | 1999
- 1
-
Invited Papers - Extreme Programming: A Discipline of Software Development (Abstract)Beck, Kent et al. | 1999
- 2
-
Components and Generative ProgrammingCzarnecki, K. / Eisenecker, U. W. et al. | 1999
- 2
-
Invited Papers - Components and Generative ProgrammingCzarnecki, Krzysztof et al. | 1999
- 20
-
A Component and Communication Model for Push SystemsHauswirth, M. / Jazayeri, M. et al. | 1999
- 20
-
Software Components - A Component and Communication Model for Push SystemsHauswirth, Manfred et al. | 1999
- 39
-
A Fine-Grained Model for Code MobilityMascolo, C. / Picco, G. P. / Roman, G.-C. et al. | 1999
- 39
-
Software Components - A Fine-Grained Model for Code MobilityMascolo, Cecilia et al. | 1999
- 57
-
Software Components - Robots: A Real-Time Systems Architectural StyleGafni, Vered et al. | 1999
- 57
-
Robots: A Real-Time Systems Architectural StyleGafni, V. et al. | 1999
- 75
-
Software Process - Collaboration and Composition: Issues for a Second Generation Process LanguageWarboys, Brian C. et al. | 1999
- 75
-
Collaboration and Composition: Issues for a Second Generation Process LanguageWarboys, B. C. / Balasubramaniam, D. / Greenwood, R. M. / Kirby, G. N. C. / Mayes, K. / Morrison, R. / Munro, D. S. et al. | 1999
- 91
-
Using UML for Software Process ModelingJaeger, D. / Schleicher, A. / Westfechtel, B. et al. | 1999
- 91
-
Software Process - Using UML for Software Process ModelingJäger, Dirk et al. | 1999
- 109
-
Software Process - A Probabilistic Model for Software ProjectsPadberg, Frank et al. | 1999
- 109
-
A Probabilistic Model for Software ProjectsPadberg, F. et al. | 1999
- 127
-
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the FutureLeveson, N. G. / Reese, J. D. et al. | 1999
- 127
-
Specification - Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the FutureLeveson, Nancy G. et al. | 1999
- 146
-
Using Model Checking to Generate Tests from Requirements SpecificationsGargantini, A. / Heitmeyer, C. et al. | 1999
- 146
-
Specification - Using Model Checking to Generate Tests from Requirements SpecificationsGargantini, Angelo et al. | 1999
- 163
-
Specification - Specification-Based Prototyping for Embedded SystemsThompson, Jeffrey M. et al. | 1999
- 163
-
Specification-Based Prototyping for Embedded SystemsThompson, J. M. / Heimdahl, M. P. E. / Miller, S. P. et al. | 1999
- 180
-
Program Analysis - Coping with Type Casts in CSiff, Michael et al. | 1999
- 180
-
Coping with Type Casts in CSiff, M. / Chandra, S. / Ball, T. / Kunchithapadam, K. / Reps, T. et al. | 1999
- 199
-
Program Analysis - Efficient Points-to Analysis for Whole-Program AnalysisLiang, Donglin et al. | 1999
- 199
-
Reps Efficient Points-to Analysis for Whole-Program AnalysisLiang, D. / Harrold, M. J. et al. | 1999
- 216
-
Program Analysis - The Concept of Dynamic AnalysisBall, Thomas et al. | 1999
- 216
-
The Concept of Dynamic AnalysisBall, T. et al. | 1999
- 235
-
Data-Flow Analysis of Program FragmentsRountev, A. / Ryder, B. G. / Landi, W. et al. | 1999
- 235
-
Program Analysis - Data-Flow Analysis of Program FragmentsRountev, Atanas et al. | 1999
- 253
-
Yesterday, My Program Worked. Today, It Does Not. Why?Zeller, A. et al. | 1999
- 253
-
Testing and Debugging - Yesterday, My Program Worked. Today, It Does Not. Why?Zeller, Andreas et al. | 1999
- 268
-
Testing and Debugging - Comparison Checking: An Approach to Avoid Debugging of Optimized CodeJaramillo, Clara et al. | 1999
- 268
-
Comparison Checking: An Approach to Avoid Debugging of Optimized CodeJaramillo, C. / Gupta, R. / Soffa, M. L. et al. | 1999
- 285
-
Structural Specification-Based Testing: Automated Support and Experimental EvaluationChang, J. / Richardson, D. J. et al. | 1999
- 285
-
Testing and Debugging - Structural Specification-Based Testing: Automated Support and Experimental EvaluationChang, Juei et al. | 1999
- 303
-
An Efficient Relevant Slicing Method for DebuggingGyimothy, T. / Beszedes, A. / Forgacs, I. et al. | 1999
- 303
-
Testing and Debugging - An Efficient Relevant Slicing Method for DebuggingGyimothy, Tibor et al. | 1999
- 322
-
Java - Analyzing Exception Flow in JavaTM ProgramsRobillard, Martin P. et al. | 1999
- 322
-
Analyzing Exception Flow in Java[TM] ProgramsRobillard, M. P. / Murphy, G. C. et al. | 1999
- 338
-
Java - An Efficient Algorithm for Computing MHP Information for Concurrent Java ProgramsNaumovich, Gleb et al. | 1999
- 338
-
An Efficient Algorithm for Computing MHP Information for Concurrent Java ProgramsNaumovich, G. / Avrunin, G. S. / Clarke, L. A. et al. | 1999
- 355
-
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in JavaBokowski, B. et al. | 1999
- 355
-
Java - CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in JavaBokowski, Boris et al. | 1999
- 375
-
Architecture and Models - The CIP Method: Component- and Model-Based Construction of Embedded SystemsFierz, Hugo et al. | 1999
- 375
-
The CIP Method: Component- and Model-Based Construction of Embedded SystemsFierz, H. et al. | 1999
- 393
-
Architecture and Models - Algebraic Software Architecture ReconfigurationWermelinger, Michel et al. | 1999
- 393
-
Algebraic Software Architecture ReconfigurationWermelinger, M. / Fiadeiro, J. L. et al. | 1999
- 410
-
Consistency Checking for Multiple View Software ArchitecturesFradet, P. / Le Metayer, D. / Perin, M. et al. | 1999
- 410
-
Architecture and Models - Consistency Checking for Multiple View Software ArchitecturesFradet, Pascal et al. | 1999
- 429
-
Reuse - Synergy between Component-Based and Generative ApproachesJarzabek, Stan et al. | 1999
- 429
-
Synergy between Component-Based and Generative ApproachesJarzabek, S. / Knauber, P. et al. | 1999
- 446
-
Transitioning Legacy Assets to a Product Line ArchitectureBayer, J. / Girard, J.-F. / Wuerthner, M. / DeBaud, J.-M. / Apel, M. et al. | 1999
- 446
-
Reuse - Transitioning Legacy Assets to a Product Line ArchitectureBayer, Joachim et al. | 1999
- 464
-
Reuse - CHIME: A Metadata-Based Distributed Software Development EnvironmentDossick, Stephen E. et al. | 1999
- 464
-
CHIME: A Metadata-Based Distributed Software Development EnvironmentDossick, S. E. / Kaiser, G. E. et al. | 1999
- 476
-
FACADE: A Typed Intermediate Language Dedicated to Smart CardsGrimaud, G. / Lanet, J.-L. / Vandewalle, J.-J. et al. | 1999
- 476
-
Verification and Checking - FACADE: A Typed Intermediate Language Dedicated to Smart CardsGrimaud, Gilles et al. | 1999
- 494
-
Verification and Checking - Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal VerificationBraberman, Victor A. et al. | 1999
- 494
-
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal VerificationBraberman, V. A. / Felder, M. et al. | 1999
- 511
-
Checking Progress with Action Priority: Is it Fair?Giannakopoulou, D. / Magee, J. / Kramer, J. et al. | 1999
- 511
-
Verification and Checking - Checking Progress with Action Priority: Is it Fair?Giannakopoulou, Dimitra et al. | 1999
- 529
-
Author Index| 1999