Sciweavers

7209 search results - page 464 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
120
Voted
WCET
2007
15 years 4 months ago
Clustering Worst-Case Execution Times for Software Components
For component-based systems, classical techniques for Worst-Case Execution Time (WCET) estimation produce unacceptable overestimations of a components WCET. This is because softwa...
Johan Fredriksson, Thomas Nolte, Andreas Ermedahl,...
104
Voted
CLEIEJ
2006
108views more  CLEIEJ 2006»
15 years 3 months ago
Quality in Development Process for Software Factories According to ISO 15504
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
Kenyer Domínguez, María A. Pé...
146
Voted
EUROSYS
2010
ACM
16 years 19 days ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
ISORC
2006
IEEE
15 years 9 months ago
Interaction-Based Behavior Modeling of Embedded Software using UML 2.0
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
131
Voted
ERSHOV
2006
Springer
15 years 7 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....