4476 search results - page 407 / 896 » Modeling software architectures in the Unified Modeling Lang... |
206
click to vote
FLAIRS
2006
15 years 9 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
190
click to vote
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
223
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
We are concerned with the software implementation of baseband processing for the physical layer of radio standards (“Software Defined Radio - SDR”). Given the constraints for ...
214
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
223
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...