5961 search results - page 586 / 1193 » Design Science and Software Engineering |
190
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
181
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract Architectural patterns are often combined with other, relevant architectural patterns during software architecture design. However, combining patterns effectively remains ...
209
click to vote
WCET
2010
15 years 5 months ago
2010
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...
218
click to vote
APSEC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--In order to increase our ability to use measurement to support software development practise we need to do more analysis of code. However, empirical studies of code are e...
205
click to vote
IUI
2004
ACM
16 years 16 days ago
2004
ACM
WOLD (Wizard fOr Leveraging the Development of multi-platform user interfaces) helps designers to produce running user interfaces to data bases of information systems simultaneous...