8083 search results - page 58 / 1617 » A Formalization of Software Architecture |
SFM
2007
Springer
14 years 1 months ago
2007
Springer
CAV
2005
Springer
14 years 1 months ago
2005
Springer
PDPTA
2003
13 years 9 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
RE
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
INFORMATICALT
2010
13 years 6 months ago
2010
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...