1405 search results - page 143 / 281 » Software engineering for and with artists: a case study |
181
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
155
click to vote
INFSOF
2007
15 years 6 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
184
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
214
click to vote
ISESE
2006
IEEE
16 years 12 days ago
2006
IEEE
In software engineering, measurements can be used to monitor, understand and improve software processes as well as products and resource utilization. Commonly, measurement framewo...
152
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...