Search

Your search keyword '"Heineman, George T."' showing total 243 results

Search Constraints

Start Over You searched for: Author "Heineman, George T." Remove constraint Author: "Heineman, George T."
243 results on '"Heineman, George T."'

Search Results

1. Improved Lower Bounds on the Expected Length of Longest Common Subsequences

2. Combinatory Synthesis of Classes Using Feature Grammars

3. A Long and Winding Road Towards Modular Synthesis

4. ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction

5. Unit Testing of Software Components with Inter-component Dependencies

6. Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems

7. Component Technology and QoS Management

8. Joining Punctuated Streams

16. Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems

17. Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact)

18. Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact)

19. Covariant conversions (coco):A design pattern for type-safe modular software evolution in object-oriented systems

26. Rule chaining in Marvel: dynamic binding of parameters

34. Algorytmy. Almanach

36. Algorithms in a Nutshell

38. Incremental Process Support for Code Reengineering: An Update (Experience Report)

39. Incremental Process Support for Code Reengineering

40. Integrating a Transaction Manager Component with Process Weaver

41. Automatic Translation of Process Modeling Formalisms

44. MJoin

45. Performance-Driven Interface Contract Enforcement for Scientific Components.

46. A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems.

47. Monitoring Architectural Properties in Dynamic Component-Based Systems.

48. A Study of Execution Environments for Software Components.

49. Towards Composing Software Components in Both Design and Deployment Phases.

50. A Framework for Contract-Based Collaborative Verification and Validation of Web Services.

Catalog

Books, media, physical & digital resources