1236 search results - page 49 / 248 » The Problems of Data Modeling in Software Practice |
129
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
115
click to vote
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
110
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
107
Voted
VMCAI
2010
Springer
16 years 23 days ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
133
Voted
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that “the sensornet is a database” is problematic,...