1099 search results - page 29 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
179
click to vote
IEEECIT
2006
IEEE
16 years 12 hour ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
150
click to vote
FUIN
2008
15 years 6 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
145
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
153
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
165
click to vote
ECIS
2001
15 years 7 months ago
2001
Through online self-booking travel sites on the Web, consumers are offered great opportunities for convenient and inexpensive travel bookings. Nevertheless, they face certain prob...