1180 search results - page 105 / 236 » Total Functional Software Engineering - Overview Paper |
108
click to vote
AADEBUG
2005
Springer
15 years 4 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
APL
1992
ACM
15 years 3 months ago
1992
ACM
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
103
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
ICSEA
2007
IEEE
15 years 5 months ago
2007
IEEE
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...