Gabor Karsai - Böcker
Visar alla böcker från författaren Gabor Karsai. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Generative Programming and Component Engineering
Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings
Häftad, Engelska, 2004
556 kr
Skickas inom 10-15 vardagar
Generative and component approaches have the potential to revolutionize so- waredevelopmentinasimilarwayasautomationandcomponentsrevolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Speci?c Languages (elevating program speci?cations to compact domain-speci?c notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the prior conference on Gene- tive and Component-Based SoftwareEngineering (GCSE) and the Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). Thegoalof GPCEisto providea meeting placefor researchersandpractitioners interested in cutting edge approachesto software development. We aim to foster further cross-fertilization between the software engineering research community on the one hand, and the programming languages community on the other, in addition to supporting the original research goals of both the GCSE and the SAIG communities.This volume contains the proceedings of the Third International Conference on Generative Programming and Component Engineering, held in Vancouver, Canada from October 24 to 28, 2004, where it was co-located with OOPSLA 2004 and ISSM 2004.
Model-Based Engineering of Embedded Real-Time Systems
International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Häftad, Engelska, 2010
556 kr
Skickas inom 10-15 vardagar
Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.