Sciweavers

1890 search results - page 48 / 378
» A component model for building systems software
Sort
View
JSS
2006
107views more  JSS 2006»
13 years 8 months ago
Measuring the usability of software components
The last decade marked the first real attempt to turn software development into engineering through the concepts of ComponentBased Software Development (CBSD) and Commercial Off-T...
Manuel F. Bertoa, José M. Troya, Antonio Va...
COMPSAC
2007
IEEE
13 years 12 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
MSR
2009
ACM
14 years 19 days ago
Automatic labeling of software components and their evolution using log-likelihood ratio of word frequencies in source code
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
Adrian Kuhn
ECMDAFA
2006
Springer
228views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Model Driven Development of Multi-Agent Systems
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
Juan Pavón, Jorge J. Gómez-Sanz, Rub...
APSEC
2004
IEEE
13 years 11 months ago
Systematic Operational Profile Development for Software Components
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
Rakesh Shukla, David A. Carrington, Paul A. Stroop...