8083 search results - page 264 / 1617 » A Formalization of Software Architecture |
176
click to vote
FORTE
2004
15 years 8 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
179
Voted
ACSC
2000
IEEE
15 years 10 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
167
click to vote
B
1998
Springer
15 years 11 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
144
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
172
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...