Volume 26, Number 1, January 2000
export record as
dblp key:
export record as
dblp key:
Nancy G. Leveson :
Intent Specifications: An Approach to Building Human-Centered Specifications.
15-35
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tse/MedvidovicT00
Volume 26, Number 2, February 2000
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 26, Number 3, March 2000 Architecture-Independent Languages and Software Tools for Parallel Processing
export record as
dblp key:
export record as
dblp key:
journals/tse/ChamberlainCLLSW00 export record as
dblp key:
export record as
dblp key:
Thomas Bräunl :
Parallaxis-III: Architecture-Independent Data Parallel Processing.
227-243
export record as
dblp key:
Junjie Gu ,
Zhiyuan Li :
Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization.
244-261
export record as
dblp key:
export record as
dblp key:
Sergei Gorlatch :
Toward Formally-Based Design of Message Passing Programs.
276-288
Volume 26, Number 4, April 2000 Architecture-Independent Languages and Software Tools for Parallel Processing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tse/KadamuddiT00 export record as
dblp key:
Ying Chen ,
Marianne Winslett :
Automated Tuning of Parallel I/O Systems: An Approach to Portable I/O Performance for Scientific Applications.
362-383
Volume 26, Number 5, May 2000 Architecture-Independent Languages and Software Tools for Parallel Processing
export record as
dblp key:
export record as
dblp key:
journals/tse/GrammatikakisL00 Fifth International Conference on Software Reuse
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Regular Papers
export record as
dblp key:
export record as
dblp key:
Tim Bergin :
Editorial: Sloan Research Project.
478
Volume 26, Number 6, June 2000
export record as
dblp key:
journals/tse/Mayrhauser00 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 26, Number 7, July 2000 Formal Methods for Object Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Regular Papers
export record as
dblp key:
export record as
dblp key:
Raymond T. Boute :
Supertotal Function Definition in Mathematics and Software Engineering.
662-672
Volume 26, Number 8, August 2000 Special Section on the 1999 Formal Methods Conference (FM '99)
export record as
dblp key:
Jeannette M. Wing ,
Jim Woodcock :
Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems.
673-674
export record as
dblp key:
export record as
dblp key:
journals/tse/HaxthausenP00 export record as
dblp key:
export record as
dblp key:
journals/tse/CavalcantiN00 export record as
dblp key:
Hervé Marchand ,
Mazen Samaan :
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
729-741
Regular Papers
export record as
dblp key:
Mor Peleg ,
Dov Dori :
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods.
742-759
export record as
dblp key:
journals/tse/CasatiCFMP00 export record as
dblp key:
journals/tse/CartwrightS00 export record as
dblp key:
Volume 26, Number 9, September 2000 Current Trends in Exception Handling
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Egon Börger ,
Wolfram Schulte :
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.
872-887
export record as
dblp key:
Regular Papers
export record as
dblp key:
Tom Chávez :
A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems.
907-918
Volume 26, Number 10, October 2000 Current Trends in Exception Handling (Part II)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tse/LamsweerdeL00 Regular Papers
export record as
dblp key:
José Javier Dolado :
A Validation of the Component-Based Method for Software Size Estimation.
1006-1021
Correspondence Papers
export record as
dblp key:
journals/tse/Littlewood00
Volume 26, Number 11, November 2000 Workshop on Software and Performance - Part I
export record as
dblp key:
export record as
dblp key:
journals/tse/AdveBBDDHRSSTV00 Vikram S. Adve ,
Rajive Bagrodia ,
James C. Browne ,
Ewa Deelman ,
Aditya Dube ,
Elias N. Houstis ,
John R. Rice ,
Rizos Sakellariou ,
David Sundaram-Stukel ,
Patricia J. Teller ,
Mary K. Vernon :
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.
1027-1048
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Regular Papers
export record as
dblp key:
Volume 26, Number 12, December 2000 Workshop on Software and Performance - Part II
export record as
dblp key:
export record as
dblp key:
Brian A. Nixon :
Management of Performance Requirements for Information Systems.
1122-1146
export record as
dblp key:
Regular Papers
export record as
dblp key:
journals/tse/LittlewoodPSS00 export record as
dblp key:
export record as
dblp key:
journals/tse/DrummondIH00 export record as
dblp key:
data released under the ODC-BY 1.0 license
