3771 search results - page 316 / 755 » Subobject Transformation Systems |
129
click to vote
WCRE
1997
IEEE
15 years 8 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
159
Voted
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
129
click to vote
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
105
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
142
click to vote
ACSC
2000
IEEE
15 years 8 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...