335 search results - page 46 / 67 » Arguing safety with Problem Oriented Software Engineering |
SOCO
2007
Springer
15 years 3 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...
ISORC
2008
IEEE
15 years 3 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...
119
Voted
ATC
2007
Springer
15 years 3 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...
65
Voted
APSEC
2000
IEEE
15 years 1 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...
SCAM
2008
IEEE
15 years 3 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...