1180 search results - page 70 / 236 » Total Functional Software Engineering - Overview Paper |
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
90
Voted
DAC
2006
ACM
16 years 17 hour ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
JSS
2002
14 years 10 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
IAT
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper explains the building of robust software using multiagent reputation. One of the major goals of software engineering is to achieve robust software. Our hypothesis is th...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...