3284 search results - page 170 / 657 » On the modularity of feature interactions |
142
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
181
click to vote
ISMVL
2008
IEEE
16 years 29 days ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
144
click to vote
ICWL
2007
Springer
16 years 21 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
169
click to vote
AOSD
2006
ACM
16 years 16 days ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
139
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...