795 search results - page 35 / 159 » A Formal Approach to Heterogeneous Software Modeling |
108
click to vote
AGILEDC
2007
IEEE
15 years 6 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
64
Voted
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
107
click to vote
SSIRI
2010
14 years 10 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
105
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
102
Voted
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...