1601 search results - page 16 / 321 » The affordable application of formal methods to software eng... |
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
EUROMICRO
1996
IEEE
13 years 12 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
ISPE
2003
13 years 9 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
EDUTAINMENT
2007
Springer
14 years 1 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...