450 search results - page 43 / 90 » Formal Methods for Industrial Products |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
For years the HCI community has struggled to integrate design in research and practice. While design has gained a strong foothold in practice, it has had much less impact on the H...
ICECCS
1998
IEEE
13 years 12 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
ACL
1998
13 years 9 months ago
1998
Recently manuals of industrial products become large and often consist of separated volumes. In reading such individual but related manuals, we must consider the relation among se...
AGILEDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
ITICSE
2006
ACM
14 years 1 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...