Sciweavers

1330 search results - page 78 / 266
» Modeling components and frameworks with UML
Sort
View
STEP
2003
IEEE
15 years 9 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
IPPS
2007
IEEE
15 years 10 months ago
Identifying and Addressing Uncertainty in Architecture-Level Software Reliability Modeling
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
Leslie Cheung, Leana Golubchik, Nenad Medvidovic, ...
ASM
2003
ASM
15 years 9 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
FDL
2004
IEEE
15 years 8 months ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
WSCG
2001
167views more  WSCG 2001»
15 years 5 months ago
Component-Based Architectures for Computer Vision Systems
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
A. Economopoulos, Drakoulis Martakos