|
|
|
|
Reza, Hassan
University of North Dakota
Grand Forks, North Dakota
|
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 10 of 24
reviews
|
|
|
|
|
|
|
|
Model-driven software migration: a methodology reengineering, recovery and modernization of legacy systems Wagner C., Springer Vieweg, Wiesbaden, Germany, 2014. 332 pp. Type: Book (978-3-658052-69-0)
Change is inevitable in life, and software, like anything else, may need to undergo change for many reasons. The cost of software maintenance is high; it may range from 60 percent up to 75 percent of the total cost of a software system...
|
Aug 14 2014 |
|
|
|
|
|
|
Software architecture optimization methods: a systematic literature review Aleti A., Buhnova B., Grunske L., Koziolek A., Meedeniya I. IEEE Transactions on Software Engineering 39(5): 658-683, 2013. Type: Article
Software architecture has an important role in solving the problems of today’s complex systems, especially the difficulty of manually searching and selecting the optimal solution from an exponentially growing design space. Th...
|
Oct 22 2013 |
|
|
|
|
|
|
Software architecture in practice (3rd ed.) Bass L., Clements P., Kazman R., Addison-Wesley Professional, Upper Saddle River, NJ, 2013. 640 pp. Type: Book (978-0-321815-73-6)
Written by the lead software engineering scientists at the Software Engineering Institute at Carnegie Mellon University (SEI-CMU), this third-edition book is, for the most part, based on various technical reports, papers, and works con...
|
Mar 26 2013 |
|
|
|
|
|
|
Software architecture knowledge management: theory and practice Ali Babar M., Dingsøyr T., Lago P., van Vliet H., Springer Publishing Company, Incorporated, Secaucus, NJ, 2009. 279 pp. Type: Book (9783642023736)
The theory and practice behind software architectural knowledge management (SAKM) and design decisions are explained in this book....
|
Jan 28 2010 |
|
|
|
|
|
|
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers Betin Can A., Bultan T., Lindvall M., Lux B., Topp S. Automated Software Engineering 14(2): 129-178, 2007. Type: Article
This paper discusses design for verification that uses a model checker--namely, the action language verifier (ALV)--to detect and prevent synchronization faults in the domain of avionic systems. More specifically, the...
|
Jun 20 2008 |
|
|
|
|
|
|
Formal methods applications and technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop, PDMC 2006, Revised Selected Papers (Lecture Notes in Computer Science 4346) Brim L., Haverkort B., Leucker M., Pol J., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 363 pp. Type: Book (9783540709510)
This collection includes papers on various areas in the discipline of formal methods, including formal verification and validation in both hardware and software. For the most part, the book consists of two major areas of formal methods...
|
Sep 24 2007 |
|
|
|
|
|
|
Understanding enterprise SOA Pulier E., Taylor H., Manning Publications Co., Greenwich, CT, 2005. Type: Book (9781932394597)
The authors discuss service-oriented architecture (SOA) and its practical implications with regard to information technology and business strategy. More specifically, this book provides an in-depth discussion of what SOA is all about, ...
|
Aug 25 2006 |
|
|
|
|
|
|
Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models Verdickt T., Dhoedt B., Gielen F., Demeester P. IEEE Transactions on Software Engineering 31(8): 695-711, 2005. Type: Article
Verdickt et al. discuss a model transformation framework based on generic middleware, which can be semi-automatically mapped into more concrete middleware using a transformation algorithm. The transformed model can then be used to acqu...
|
Nov 17 2005 |
|
|
|
|
|
|
An Active-Architecture Approach to COTS Integration Warboys B., Snowdon B., Greenwood R., Seet W., Robertson I., Morrison R., Balasubramaniam D., Kirby G., Mickan K. IEEE Software 22(4): 20-27, 2005. Type: Article
Warboys et al. discuss a dynamic and evolvable architectural framework known as ArchWare, which is receptive to both predefined (static) and emergent (dynamic) behaviors. The self-producing framework incorporates a set of evolvable com...
|
Sep 6 2005 |
|
|
|
|
|
|
Checking of models built using a graphically based formal modelling language Walters R. Journal of Systems and Software 76(1): 55-64, 2005. Type: Article
Walters discusses the specification of a system in a graphical modeling notation known as RDT, and the translation of RDT into Promela code (the input to the SPIN model checker). To validate the approach, a very simple example is used....
|
Sep 2 2005 |
|
|
|
|
|
|
|
|
|
|
|