Sciweavers

4799 search results - page 377 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
FASE
2009
Springer
16 years 1 months ago
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
Frank Hermann, Hartmut Ehrig, Claudia Ermel
MICRO
2006
IEEE
191views Hardware» more  MICRO 2006»
15 years 6 months ago
CAPSULE: Hardware-Assisted Parallel Execution of Component-Based Programs
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
Pierre Palatin, Yves Lhuillier, Olivier Temam
ICSE
2010
IEEE-ACM
15 years 11 months ago
Legacy component integration by the Fujaba real-time tool suite
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
Stefan Henkler, Jan Meyer, Wilhelm Schäfer, M...
ICSM
2008
IEEE
16 years 1 months ago
Traceability for the maintenance of secure software
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
Yijun Yu, Jan Jürjens, John Mylopoulos
ESEM
2008
ACM
15 years 8 months ago
Phase distribution of software development effort
Effort distribution by phase or activity is an important but often overlooked aspect compared to other steps in the cost estimation process. Poor effort allocation is among the ma...
Ye Yang, Mei He, Mingshu Li, Qing Wang, Barry W. B...