977 search results - page 44 / 196 » Formal methods integration in software engineering |
145
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
117
click to vote
BCSHCI
2007
15 years 5 months ago
2007
We seek to close the gap between software engineering (SE) and human-computer interaction (HCI) by indicating interdisciplinary interfaces throughout the different phases of SE an...
117
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
169
click to vote
ITICSE
2006
ACM
15 years 9 months ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
139
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...