• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 25,448
Next 10 →

Specification Matching of Software Components

by Amy Moormann Zaremski, Jeannette M. Wing - 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

by Frantisek Plasil, Stanislav Visnovsky - 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

by unknown authors
"... 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

by unknown authors
"... 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

by Sagar Chaki, Edmund Clarke, Alex Groce, et al. - 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

by unknown authors
"... 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

by Claes Wohlin, Per Runeson , 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

by Roy S. Freedman , 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

by Claus Pahl - 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

by Manuel F. Bertoa, José M. Troya, Antonio Vallecillo - 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
Next 10 →
Results 1 - 10 of 25,448
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University