2500 search results - page 126 / 500 » Specifying Behavior in C |
130
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
152
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
123
Voted
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
We present the metric lens, a new visualization of methodlevel code metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations on lar...
107
click to vote
KES
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we introduce an effective strategy for subgoal division and ordering based upon recursive subgoals and combine this strategy with a genetic-based planning approach....
122
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
One of the most important principles in Software Engineering is the separation of concerns. When this principle is correctly applied, it helps to promote comprehensibility, mainta...