335 search results - page 46 / 67 » Arguing safety with Problem Oriented Software Engineering |
140
click to vote
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
Aspects require access to the join point context in order to select and adapt join points. For this purpose, current aspect-oriented systems offer a large number of pointcut constr...
129
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Grid computing has emerged as a new paradigm of distributed computing technology on large-scale resource sharing and coordinated problem solving. Based on a proposed Web service-b...
182
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
108
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
122
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...