1180 search results - page 148 / 236 » Total Functional Software Engineering - Overview Paper |
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
IEE
2008
14 years 11 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
CODES
2011
IEEE
13 years 11 months ago
2011
IEEE
Two overriding concerns in the development of embedded MPSoCs are ease of programming and hardware complexity. In this paper we present SoC-TM, an integrated HW/SW solution for tr...
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
ARCS
2004
Springer
15 years 4 months ago
2004
Springer
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...