3045 search results - page 139 / 609 » Formal Approaches to Software Architecture |
VLSID
2003
IEEE
15 years 11 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
IWEC
2007
15 years 17 days ago
2007
Based on our experience using active learning methods to teach object-oriented software design we propose a game-based approach to take the classroom experience into a virtual envi...
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
254
click to vote
SYNASC
2008
IEEE
15 years 5 months ago
2008
IEEE
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
100
click to vote
IWFM
2000
15 years 15 days ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...