335 search results - page 46 / 67 » Arguing safety with Problem Oriented Software Engineering |
174
click to vote
SOCO
2007
Springer
16 years 17 days 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...
157
click to vote
ISORC
2008
IEEE
16 years 26 days 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...
220
click to vote
ATC
2007
Springer
16 years 19 days 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...
145
click to vote
APSEC
2000
IEEE
15 years 11 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...
159
click to vote
SCAM
2008
IEEE
16 years 25 days 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...