1031 search results - page 97 / 207 » Modeling and Formal Verification of Production Automation Sy... |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
RE
2001
Springer
14 years 7 days 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 ...
FIW
2009
13 years 5 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...