Sciweavers

2253 search results - page 2 / 451
» An Approach to Specifying Software Frameworks
Sort
View
HASE
2002
IEEE
13 years 10 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
GPCE
2007
Springer
13 years 11 months ago
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Georg Jung, John Hatcliff
DKE
2010
80views more  DKE 2010»
13 years 5 months ago
Using ontologies with UML class-based modeling: The TwoUse approach
UML class-based models and OWL ontologies constitute modeling approaches with different strength and weaknesses that make them appropriate for specifying different aspects of soft...
Fernando Silva Parreiras, Steffen Staab
EMSOFT
2008
Springer
13 years 7 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss