1304 search results - page 168 / 261 » Model-Driven Engineering for Requirements Analysis |
204
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
172
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
130
click to vote
ISPASS
2009
IEEE
15 years 11 months ago
2009
IEEE
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such servi...
136
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
170
Voted
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
In software engineering, measurements can be used to monitor, understand and improve software processes as well as products and resource utilization. Commonly, measurement framewo...