2253 search results - page 161 / 451 » An Approach to Specifying Software Frameworks |
155
click to vote
SOCO
2009
Springer
15 years 10 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
112
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
146
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
143
click to vote
FMSD
2006
15 years 4 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
134
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...