1128 search results - page 72 / 226 » Little Engines of Proof |
QSIC
2006
IEEE
15 years 3 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
ASWEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
AUIC
2005
IEEE
15 years 3 months ago
2005
IEEE
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
70
Voted
IWPC
2005
IEEE
15 years 3 months ago
2005
IEEE
Very little is known about professional programmers’ mental representations of variables, yet this information is vital in designing effective tools for program comprehension. I...
101
click to vote
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...