504 search results - page 50 / 101 » Modular System Development with Pullbacks |
199
Voted
ICOODB
2010
15 years 15 days ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
149
Voted
ACSW
2007
15 years 4 months ago
2007
A Grid based e-Research platform is being developed for providing a simulation-based virtual reality environment for clinical management and therapy treatment. The development of ...
122
Voted
RE
2004
Springer
15 years 8 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
110
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
138
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...