Sciweavers

2226 search results - page 234 / 446
» Pdk: The System and Its Language
Sort
View
ECOOP
2000
Springer
15 years 11 months ago
Design Templates for Collective Behavior
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
Pertti Kellomäki, Tommi Mikkonen
IFIP
1998
Springer
15 years 10 months ago
PERA and GERAM - Enterprise Reference Architectures in Enterprise Integration
This paper describes PERA (the Purdue Enterprise Reference Architecture) and shows its relationships to GERAM (the Generalized Enterprise Reference Architecture and Methodology). ...
Theodore J. Williams, H. Li
SIGADA
1998
Springer
15 years 10 months ago
Testing Generic Ada Packages with APE
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
Daniel Hoffman, Jayakrishnan Nair, Paul A. Stroope...
ICFP
1997
ACM
15 years 10 months ago
A Modular, Polyvariant, and Type-Based Closure Analysis
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
Anindya Banerjee
IFIP
1997
Springer
15 years 10 months ago
Representing a body of knowledge for teaching, learning and assessment
: National and international standards for professional groups may become a dominant and governing force as internet-based professional training becomes universally accepted. Educa...
Don Sheridan, David White