8083 search results - page 116 / 1617 » A Formalization of Software Architecture |
149
Voted
WIMAW
2008
15 years 4 months ago
2008
: The industrialization of software development induces several changes to the development process as software development becomes distributed over company borders. They cooperativ...
115
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
112
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
127
click to vote
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
126
click to vote
PROCOMET
1998
15 years 4 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...