8627 search results - page 131 / 1726 » Software Engineering Using RATionale |
108
click to vote
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
120
Voted
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
95
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
134
Voted
COMPSAC
2010
IEEE
15 years 16 days ago
2010
IEEE
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
101
Voted
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
15 years 7 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...