1463 search results - page 180 / 293 » Software engineering practices in Singapore |
182
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
209
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
188
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
169
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
167
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...