1994 search results - page 77 / 399 » Limited Software Warranties |
ICFEM
1998
Springer
14 years 2 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
UIST
1991
ACM
14 years 1 months ago
1991
ACM
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...
PERCOM
2008
ACM
13 years 10 months ago
2008
ACM
In this paper 1 we describe the design, implementation and evaluation of a software framework that supports the development of mobile, context-aware trails-based applications. A t...
RE
2002
Springer
13 years 9 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
An armada of emerging agile methods of software development (with eXtreme Programming and Scrum being the most broadly used) is both gaining popularity and generating lots of cont...