Balancing Agility and Formalism in Software Engineering

Balancing Agility and Formalism in Software Engineering

4.11 - 1251 ratings - Source



The origins of CEE-SET go back to the end of the 1990s, when the Polish Inf- mation Processing Society together with other partners organized the Software Engineering Education Symposium, SEES 1998, sponsored by CEPIS, and the Polish Conference on Software Engineering, KKIO 1999 (the latter has become anannualevent). AfewyearslaterKKIOchangedtoaninternationalconference on Software Engineering Techniques, SET 2006, sponsored by Technical C- mittee 2 (Software: Theory and Practice) of the International Federation for Information Processing, IFIP [http: //www. i?p. org/]. In 2007 the conference got a new name: second IFIP TC2 Central and East-European Conference on So- ware Engineering Techniques, CEE-SET 2007. It took place in Poznan, Poland, and lasted for three days, from October 10 to 12, 2007 (the details are on the conference web page http: //www. cee-set. org/2007). The conference aim was to bring together software engineering researchers and practitioners, mainly from Central and East-European countries (but not only), and allow them to share their ideasandexperience. Thespecialtopicfor2007wasqBalancingAgilityand Formalism in Software Engineering. q The conference was technically sponsored by: - IFIP Technical Committee 2, Software: Theory and Practice - Gesellschaft fu ]r Informatik, Special Interest Group Software Engineering - John von Neumann Computer Society (NJSZT), Hungary - Lithuanian Computer Society - Polish Academy of Sciences, Committee for Informatics - Polish Information Processing Society - Slovak Society for Computer Science Financial support was provided by IBM Software Laboratory in Krakow, MicrosoftResearch, MicrosoftPolska, PolishInformationProcessingSociety, and the XPrince Consortium. The conference program consisted of 3 keynote speeches given by Scott W.q363-IV, LT-44242 Kaunas, Lithuania 2 Kaunas University of Technology, Information Systems Chair Studentu 50-313a, LT-51368 ... A case study of modeling software for library management is presented as an illustration of how to apply the proposed framework. ... However, recent MDA tools make rather limited use of UML 2 elements focusing mostly on class diagrams and activity or state diagrams.


Title:Balancing Agility and Formalism in Software Engineering
Author: Bertrand Meyer, J.R. Nawrocki, Bartosz Walter
Publisher:Springer Science & Business Media - 2008-08-13
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA