1925 search results - page 26 / 385 » Documenting software systems with views |
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
CIMCA
2005
IEEE
15 years 3 months ago
2005
IEEE
Providing users with help and other documentation is essential for any software targeted at end users. Authoring help and documentation in a platform-independent way is hard, beca...
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
WWW
2005
ACM
15 years 3 months ago
2005
ACM
We propose a new TV viewing method by personalizing TV programs with live chat information on the Web. It enables a new way of viewing TV content from different perspectives refle...
106
click to vote
AOSD
2011
ACM
14 years 4 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...