Results 1 - 10
of
25,448
Specification Matching of Software Components
- ACM Transactions on Software Engineering and Methodology
, 1996
"... Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit the requ ..."
Abstract
-
Cited by 358 (4 self)
- Add to MetaCart
Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit
Behavior Protocols for Software Components
- IEEE Transactions on Software Engineering
, 2002
"... In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the "interplay" on the component's interfaces and reflect step-by-step refinement of the component& ..."
Abstract
-
Cited by 212 (32 self)
- Add to MetaCart
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the "interplay" on the component's interfaces and reflect step-by-step refinement of the component
Software Components
"... Abstract- Modern software application being built up with standard software components and components developed. If these components are used on mobile devices, the energy consumption must be taken into account at the design. Mobile device power management concepts need a lot of system power informa ..."
Abstract
- Add to MetaCart
Abstract- Modern software application being built up with standard software components and components developed. If these components are used on mobile devices, the energy consumption must be taken into account at the design. Mobile device power management concepts need a lot of system power
Software Components
"... Abstract- Modern software application being built up with standard software components and components developed. If these components are used on mobile devices, the energy consumption must be taken into account at the design. Mobile device power management concepts need a lot of system power informa ..."
Abstract
- Add to MetaCart
Abstract- Modern software application being built up with standard software components and components developed. If these components are used on mobile devices, the energy consumption must be taken into account at the design. Mobile device power management concepts need a lot of system power
Modular verification of software components in C
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 2003
"... We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompose the verification of large software systems into subproblems of manageable complexity. The decomposition reflects the mo ..."
Abstract
-
Cited by 233 (23 self)
- Add to MetaCart
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompose the verification of large software systems into subproblems of manageable complexity. The decomposition reflects
Software Components
"... Traditionally, dynamic linkers merely combined previously compiled pieces of code. Faster processors are now making outright code generation at load time practical, leading to cross-platform portability at very little extra cost. In recent years operating systems have again begun to link software li ..."
Abstract
- Add to MetaCart
Traditionally, dynamic linkers merely combined previously compiled pieces of code. Faster processors are now making outright code generation at load time practical, leading to cross-platform portability at very little extra cost. In recent years operating systems have again begun to link software
Certification of Software Components
, 1994
"... Reuse is becoming one of the key areas in dealing with the cost and quality of software systems. An important issue is the reliability of the components, hence making certification of software components a critical area. The objective of this article is to try to describe methods that can be used to ..."
Abstract
-
Cited by 42 (15 self)
- Add to MetaCart
Reuse is becoming one of the key areas in dealing with the cost and quality of software systems. An important issue is the reliability of the components, hence making certification of software components a critical area. The objective of this article is to try to describe methods that can be used
Testability of Software Components
, 1991
"... The knowledge as to whether a software component is testable or not is important to the software engineering process: a program that is not easily testable may have to go through several iterations of program and test redesign. In this paper, we formally investigate the meaning of software testabil ..."
Abstract
-
Cited by 62 (0 self)
- Add to MetaCart
The knowledge as to whether a software component is testable or not is important to the software engineering process: a program that is not easily testable may have to go through several iterations of program and test redesign. In this paper, we formally investigate the meaning of software
An Ontology for Software Component Matching
- Proc. Fundamental Approaches to Software Engineering FASE’2003
"... Abstract. Matching is a central activity in the dis-covery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development. We use description logics, which underlie Semantic Web ontol-ogy languages such as OWL, to deve ..."
Abstract
-
Cited by 30 (17 self)
- Add to MetaCart
Abstract. Matching is a central activity in the dis-covery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development. We use description logics, which underlie Semantic Web ontol-ogy languages such as OWL
Measuring the Usability of Software Components
- Journal of Systems and Software
, 2006
"... The last decade marked the first real attempt to turn software development into engineering through the concepts of Component-Based Software Development (CBSD) and Commercial Off-The-Shelf (COTS) components, with the goal of creating high-quality parts that could be joined together to form a functio ..."
Abstract
-
Cited by 16 (2 self)
- Add to MetaCart
The last decade marked the first real attempt to turn software development into engineering through the concepts of Component-Based Software Development (CBSD) and Commercial Off-The-Shelf (COTS) components, with the goal of creating high-quality parts that could be joined together to form a
Results 1 - 10
of
25,448