Model-Centric Development of Highly Available Software Systems

New antibiotic U-53,946 produced by the controlled fermentation of the new microorganism Paecilomyces abruptus sp. nov., NRRL 11110. This antibiotic is active against Gram-positive bacteria, for example, Sarcina lutea, Staphylococcus aureus, Bacillus subtilis, Mycobacterium avium, and Streptococcus pyogenes, and the yeast Saccharomyces pastorianus. Accordingly, they can be used in various environments to eradicate or control these microorganisms.

[1]  John Hatcliff,et al.  CALM and Cadena: metamodeling for component-based product-line development , 2006, Computer.

[2]  William H. Sanders,et al.  AQuA: an adaptive architecture that provides dependable distributed objects , 1998, Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281).

[3]  István Majzik,et al.  Towards Dependability Modeling of FT-CORBA Architectures , 2002, EDCC.

[4]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[5]  Douglas C. Schmidt,et al.  Applying System Execution Modeling Tools to Evaluate Enterprise Distributed Real-time and Embedded System QoS , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[6]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[7]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[8]  Ravishankar K. Iyer,et al.  A flexible software architecture for high availability computing , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[9]  Amber Roy-Chowdhury,et al.  Manual and compiler assisted methods for generating fault-tolerant parallel programs , 1996 .

[10]  G. Zorpette,et al.  Keeping the phone lines open , 1989, IEEE Spectrum.

[11]  Matthew B. Dwyer,et al.  Cadena: an integrated development, analysis, and verification environment for component-based systems , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[12]  I.D. Baxter,et al.  DMS/spl reg/: program transformations for practical scalable software evolution , 2004, Proceedings. 26th International Conference on Software Engineering.

[13]  Krishan K. Sabnani,et al.  Towards rapid development of configurable, reliable, and scalable wireless applications , 2000, 11th IEEE International Symposium on Personal Indoor and Mobile Radio Communications. PIMRC 2000. Proceedings (Cat. No.00TH8525).

[14]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[15]  A.R. Modarressi,et al.  Signaling System No.7: a tutorial , 1990, IEEE Communications Magazine.

[16]  Priya Narasimhan,et al.  The Eternal system: an architecture for enterprise applications , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[17]  Jennifer Ren,et al.  Dependable initialization of large-scale distributed software , 2004, International Conference on Dependable Systems and Networks, 2004.

[18]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[19]  James Martin,et al.  Rapid Application Development , 1991 .

[20]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[21]  Christopher W. Pidgeon,et al.  DMS®: Program Transformations for Practical Scalable Software Evolution , 2002, IWPSE '02.

[22]  Kenneth P. Birman.  ISIS: A System for Fault-Tolerant Distributed Computing , 1986 .

[23]  Robbert van Renesse,et al.  Horus: a flexible group communication system , 1996, CACM.

[24]  Bin Yao,et al.  High-Fidelity C/C++ Code Transformation , 2005, Electron. Notes Theor. Comput. Sci..

[25]  Genaína Nunes Rodrigues.  A model driven approach for software systems reliability , 2004, Proceedings. 26th International Conference on Software Engineering.