665 search results - page 24 / 133 » Extending Software Development Methodologies to Support Trus... |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
CASCON
2007
14 years 12 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
RE
2002
Springer
14 years 10 months ago
2002
Springer
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
EUROMICRO
1996
IEEE
15 years 2 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
DSD
2005
IEEE
15 years 4 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...