Sciweavers

5326 search results - page 792 / 1066
» On what we can ensure
Sort
View
GPCE
2004
Springer
16 years 10 hour ago
SourceWeave.NET: Cross-Language Aspect-Oriented Programming
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
Andrew Jackson, Siobhán Clarke
DISCEX
2003
IEEE
15 years 12 months ago
Achieving Principled Assuredly Trustworthy Composable Systems and Networks
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
Peter G. Neumann
ICFEM
2003
Springer
15 years 12 months ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu
GI
2001
Springer
15 years 11 months ago
Designing QoS and Charging Mechanisms: He who pays the service shapes the design
To accommodate applications with highly variable degrees and categories of Quality of Service (QoS) requirements, a major effort has been invested to overcome the traditional best-...
Anna Bouch, Martina Angela Sasse
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
15 years 11 months ago
PuLSE-I: Deriving Instances from a Product Line Infrastructure
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
Joachim Bayer, Cristina Gacek, Dirk Muthig, Tanya ...