1700 search results - page 76 / 340 » Specifying and implementing refactorings |
153
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
146
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Shared Care is the common answer to the challenge for improving health system's quality and efficiency. This development must be accompanied by implementing shared care infor...
109
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
141
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
110
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...