1445 search results - page 226 / 289 » Tool Integration in Software Engineering Environments |
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
EUROMICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
ICSE
2000
IEEE-ACM
14 years 13 days ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...