795 search results - page 60 / 159 » A Formal Approach to Heterogeneous Software Modeling |
93
Voted
CHI
2007
ACM
16 years 28 days 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...
101
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
98
Voted
RE
2001
Springer
15 years 5 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
103
click to vote
TROB
2002
15 years 4 days ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
124
click to vote
CSMR
2002
IEEE
15 years 5 months ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...