Sciweavers

2266 search results - page 269 / 454
» A generic component model for building systems software
Sort
View
SOCIALCOM
2010
15 years 4 months ago
Secure Wireless Embedded Systems Via Component-based Design
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
Theis Hjorth, Rune Torbensen
JOT
2010
117views more  JOT 2010»
15 years 5 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili
TAMODIA
2008
15 years 8 months ago
MuiCSer: A Process Framework for Multi-disciplinary User-Centred Software Engineering Processes
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
Mieke Haesen, Karin Coninx, Jan Van den Bergh, Kri...
COMPSAC
2005
IEEE
16 years 5 days ago
Increasing Web Service Dependability Through Consensus Voting
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...
Nik Looker, Malcolm Munro, Jie Xu
FASE
2003
Springer
15 years 11 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...