5407 search results - page 179 / 1082 » The Software Engineering Global Model |
120
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
153
Voted
RE
1999
Springer
15 years 7 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 ...
129
Voted
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
137
click to vote
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
124
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...