1988 search results - page 127 / 398 » Engineering formal metatheory |
177
click to vote
BRAIN
2010
Springer
15 years 2 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
168
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
133
click to vote
ISPW
2009
IEEE
16 years 7 days ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
141
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
129
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...