433 search results - page 75 / 87 » Model-driven Development of Complex Software: A Research Roa... |
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
EMSOFT
2003
Springer
15 years 4 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
97
Voted
FATES
2003
Springer
15 years 4 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
102
click to vote
DEXAW
2002
IEEE
15 years 4 months ago
2002
IEEE
We present our EU-sponsored research in the domain of individual knowledge management and collaborative learning: the MailTack system. MailTack is a stand-alone software tool that...
100
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
It is amazingly easy to get meaningless results when measuring flash devices, partly because of the peculiarity of flash memory, but primarily because their behavior is determin...