Sciweavers

3514 search results - page 342 / 703
» Evolving Specification Engineering
Sort
View
181
Voted
CBSE
2008
Springer
15 years 8 months ago
A Practical Approach for Finding Stale References in a Dynamic Service Platform
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
Kiev Gama, Didier Donsez
EMSOFT
2008
Springer
15 years 8 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
173
Voted
ISSRE
2007
IEEE
15 years 8 months ago
Testing Security Policies: Going Beyond Functional Testing
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry
ECSA
2010
Springer
15 years 7 months ago
Architecture-Centric Component-Based Development Needs a Three-Level ADL
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
ASE
2008
120views more  ASE 2008»
15 years 6 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone