Sciweavers

1076 search results - page 25 / 216
» Supporting Design Patterns with Annotations
Sort
View
JTRES
2010
ACM
13 years 7 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
COMPSAC
2008
IEEE
13 years 9 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
ECTEL
2008
Springer
13 years 9 months ago
Issues in the Design of an Environment to Support the Learning of Mathematical Generalisation
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
Darren Pearce, Manolis Mavrikis, Eirini Geraniou, ...
IAT
2006
IEEE
14 years 1 months ago
On the Design of a Web-Based Decision Support System for Brain Tumour Diagnosis Using Distributed Agents
This paper introduces HealthAgents, an EC-funded research project to improve the classification of brain tumours through multi-agent decision support over a distributed network o...
Carles Arús, Bernardo Celda, Srinandan Dasm...
COOTS
1996
13 years 8 months ago
The Object Group Design Pattern
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
Silvano Maffeis