B. Meyer, C. Mingins, and H. Schmidt. Providing Trusted Components to the Industry. IEEE Computer, pages 104--15, May 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Combining Formal Specifications With Design By Contract - Valle, Ros, Molina.. (2000) (Correct)
....specification, but written in a programming language that includes the assertion mechanism. The consistency between the program and the specifications is ensured by applying the Design by Contract technique [Meyer92] Our approach is in the line with the project recently presented by B. Meyer [Meyer98], trying to obtain a set of trusted components by using several techniques, including Design by Contract and formal validation, among others. The features of the chosen language, OASIS, are very similar to TROLL [Jungclaus91] and LCM (Language for Conceptual Modeling) Wieringa94] These both ....
B. Meyer, C. Mingins and H. Schmidt. "Providing Trusted Components to the Industry". Computer. pp. 104-105. May 1998.
Multi-Perspective Specification, Design And Implementation Of.. - Grundy (2000) (2 citations) (Correct)
....specification, assisting developers to codify systemic characteristics, and they assist development of highly reusable, dynamically reconfigurable components. The need for reusable components that can be trusted to perform in appropriate ways in diverse situations has become apparent [29], and aspects with detailed property specifications and run time validation begin to address this. Current component technologies, such as Java Beans [5] CORBA C IDL [30] and COM [6] and support tools, such as Visual Javascript [11] SYNTHSIS [9] and [12] focus on low level component ....
B. Meyer, C. Mingins and H. Schmidt, Providing Trusted Components to the Industry, IEEE Computer (May 1998), pp. 104-15.
Storage and retrieval of Software Components using Aspects - Grundy (2000) (1 citation) (Correct)
....to automatically generate a high level indexing system. Developers and end users can formulate high level, aspect based queries to retrieve components providing or requiring services appropriate to their needs. 1. Introduction Component based software engineering technologies have become popular [14]. Examples of component based architectures include OpenDoc [1] CORBA [18] DCOM [25] and JavaBeans [20] Many tools have been developed to assist developers in constructing systems using these architectures, including JBuilder [2] VisualAge [9] and JComposer [3] Tools to assist end users to ....
Meyer, B., Mingins, C., and Schmidt, H. Providing Trusted Components to the Industry, IEEE Computer, May 1998, pp. 104-15.\
Trust-By-Contract: Modelling, Analysing And Predicting.. - Schmidt, Poernomo.. (2001) Self-citation (Schmidt) (Correct)
No context found.
Meyer, B., Mingins C. and Schmidt, H., Providing Trusted Components to the Industry, IEEE Computer, 5/1998, pp. 104-105
A Contract-Based Approach of Resource-Constrained Software.. - Le Sommer, Guidec (2002) (Correct)
No context found.
B. Meyer, C. Mingins, and H. Schmidt. Providing Trusted Components to the Industry. IEEE Computer, pages 104--15, May 1998.
Accepted paper in Integrated Design and Process Technology .. - Dorian Petit Vincent (2003) (Correct)
No context found.
Meyer, B., Mingins, C., and Schmidt, H. (1998). Providing trusted components to the industry. IEE Computer Journal, 31(5):104--105. extended version can be found at http://www.trustedcomponents. org/documents/tc original paper.html.
Supporting Aspect-Oriented Component-Based Systems Engineering - John Grundy Department (1999) (Correct)
No context found.
Meyer, B., Mingins, C., and Schmidt, H. Providing Trusted Components to the Industry, IEEE Computer, May 1998, pp. 104-15.
Accepted paper in Integrated Design and Process Technology .. - Dorian Petit Vincent (2003) (Correct)
No context found.
Meyer, B., Mingins, C., and Schmidt, H. (1998). Providing trusted components to the industry. IEE Computer Journal, 31(5):104--105. extended version can be found at http://www.trustedcomponents. org/documents/tc original paper.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC