Sciweavers

5398 search results - page 341 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
OOPSLA
2004
Springer
16 years 4 days ago
An aspect-oriented generative approach
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
Uirá Kulesza, Alessandro F. Garcia, Carlos ...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
16 years 5 days ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
BTW
2005
Springer
108views Database» more  BTW 2005»
16 years 10 days ago
Integrating the Relational Interval Tree into IBM's DB2 Universal Database Server
: User-defined data types such as intervals require specialized access methods to be efficiently searched and queried. As database implementors cannot provide appropriate index str...
Christoph Brochhaus, Jost Enderle, Achim Schlosser...
WOA
2010
15 years 4 months ago
Developing Web Client Applications with JaCa-Web
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...
Mattia Minotti, Andrea Santi, Alessandro Ricci
ADAEUROPE
2010
Springer
15 years 4 months ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...