1134 search results - page 126 / 227 » Using Constraints with Action Language for Model Evolution |
167
click to vote
ICSEA
2007
IEEE
16 years 19 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
173
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
144
click to vote
FOAL
2009
ACM
16 years 25 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
156
click to vote
SIGCOMM
2009
ACM
16 years 25 days ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
173
click to vote
DMSN
2008
ACM
15 years 8 months ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...