Sciweavers

4799 search results - page 347 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ICSE
2010
IEEE-ACM
15 years 4 months ago
Syde: a tool for collaborative software development
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...
Lile Hattori, Michele Lanza
ASE
1998
152views more  ASE 1998»
15 years 6 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
163
Voted
IEEEARES
2007
IEEE
16 years 1 months ago
Pastures: Towards Usable Security Policy Engineering
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W...
ARCS
2005
Springer
16 years 8 days ago
A File System for System Programming in Ubiquitous Computing
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
Christian Decker, Michael Beigl, Albert Krohn
EMSOFT
2005
Springer
16 years 7 days ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...