2487 search results - page 291 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
128
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
142
click to vote
ASWSD
2004
Springer
15 years 8 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
141
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
134
click to vote
ENTCS
2010
14 years 12 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
126
click to vote
MSR
2005
ACM
15 years 8 months ago
2005
ACM
Diversification of software assets through changing requirements impose a constant challenge on the developers and maintainers of large software systems. Recent research has addr...