Sciweavers

3514 search results - page 339 / 703
» Evolving Specification Engineering
Sort
View
ICSE
2007
IEEE-ACM
16 years 26 days ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
169
Voted
SEFM
2005
IEEE
16 years 8 days ago
On Compatibility and Behavioural Substitutability of Component Protocols
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
Nabil Hameurlain
ER
2005
Springer
155views Database» more  ER 2005»
16 years 7 days ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez
WOSP
2004
ACM
16 years 3 days ago
Performance modeling from software components
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
Xiuping Wu, C. Murray Woodside
152
Voted
IWPC
2003
IEEE
15 years 12 months ago
Blooms? Taxonomy: A Framework for Assessing Programmers? Knowledge of Software Systems
Programmers must attain knowledge about a system before they can perform specific software maintenance tasks on it. Traditionally, computer scientists have described the activity ...
Jim Buckley, Christopher Exton