1180 search results - page 150 / 236 » Total Functional Software Engineering - Overview Paper |
70
Voted
UIST
2005
ACM
15 years 4 months ago
2005
ACM
In this paper, we show how traditional physical interface components such as switches, levers, knobs and touch screens can be easily modified to identify who is activating each co...
ARCS
2005
Springer
15 years 4 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
ISSRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...