8083 search results - page 63 / 1617 » A Formalization of Software Architecture |
SOSE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
EWSPT
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
HASE
1998
IEEE
13 years 12 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
TSE
2002
13 years 7 months ago
2002
FORTE
1998
13 years 9 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...