Rapid integration of software engineering techniques second international workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005 ; revised selected papers /
RISE 2005 (http://rise2005.ics.forth.gr/) was the second annual inter-national workshop of the ERCIM (European Research Consortium for Informatics and Mathematics - http://www.ercim.org/) Working Group on Rapid Integration of Software Engineering techniques (RISE - http://rise.uni.lu/). RISE is an i...
| Corporate Authors: | RISE 2005 Ērakleion, Greece) |
|---|---|
| Other Authors: | RISE 2005, Guelfi, Nicolas, 1965-, Savidis, Anthony., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2006.
Berlin ; New York : [2006] |
| Physical Description: |
1 online resource (x, 287 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
3943. |
| Subjects: |
| LEADER | 08753cam a2201261 a 4500 | ||
|---|---|---|---|
| 001 | 262692343 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 081017s2006 gw a ob 101 0 eng d | ||
| 016 | 7 | |a 979594081 |2 DE-101 | |
| 019 | |a 70155120 |a 316263643 |a 613489093 |a 690014651 |a 710992698 |a 739126903 |a 767224276 |a 785778796 |a 880110465 |a 964921772 |a 1005751788 |a 1035662702 |a 1066446127 |a 1066513840 |a 1105598940 |a 1132299708 | ||
| 020 | |a 9783540340645 | ||
| 020 | |a 3540340645 | ||
| 020 | |a 3540340637 | ||
| 020 | |a 9783540340638 | ||
| 024 | 7 | |a 10.1007/11751113 |2 doi | |
| 035 | |a (OCoLC)262692343 |z (OCoLC)70155120 |z (OCoLC)316263643 |z (OCoLC)613489093 |z (OCoLC)690014651 |z (OCoLC)710992698 |z (OCoLC)739126903 |z (OCoLC)767224276 |z (OCoLC)785778796 |z (OCoLC)880110465 |z (OCoLC)964921772 |z (OCoLC)1005751788 |z (OCoLC)1035662702 |z (OCoLC)1066446127 |z (OCoLC)1066513840 |z (OCoLC)1105598940 |z (OCoLC)1132299708 | ||
| 037 | |a 978-3-540-34063-8 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCA |d OCLCQ |d HNK |d BAKER |d GZM |d COO |d LGG |d OCLCQ |d YNG |d LEAUB |d N$T |d MNU |d E7B |d OCLCO |d OCLCQ |d OCLCF |d BEDGE |d OCLCO |d YDXCP |d IDEBK |d SLY |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d EBLCP |d VT2 |d OCLCQ |d UAB |d ESU |d U3W |d STF |d OCLCQ |d AU@ |d OCLCQ |d WYU |d ICG |d OL$ |d OCLCQ |d AUD |d WURST |d OCLCQ |d UKAHL |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCL | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA76.758 |b .R485 2005eb | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a UL |2 bicssc | |
| 082 | 0 | 4 | |a 005.1 |2 22 |
| 084 | |a TP311. 5-532 |2 clc | ||
| 111 | 2 | |a RISE 2005 |d (2005 : |c Ērakleion, Greece) | |
| 245 | 1 | 0 | |a Rapid integration of software engineering techniques : |b second international workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005 ; revised selected papers / |c Nicolas Guelfi, Anthony Savidis (eds.). |
| 246 | 3 | 0 | |a RISE 2005. |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2006. | ||
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2006] | |
| 264 | 4 | |c ©2006. | |
| 300 | |a 1 online resource (x, 287 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 3943. | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature Introduction in Practice: An Experience Report -- Rapid System Development Via Product Line Architecture Implementation -- User Centred Rapid Application Development -- Software Testing with Evolutionary Strategies -- A Technique to Represent Product Line Core Assets in MDA/PIM for Automation -- Modeling Safety Case Evolution -- Examples from the Air Traffic Management Domain -- Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs -- Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach -- Prototyping Domain Specific Languages with COOPN -- An Improved Case-Based Approach to LTL Model Checking -- Synthesized UML, a Practical Approach to Map UML to VHDL -- Towards Service-Based Business Process Modeling, Prototyping and Integration -- Formal Development of Reactive Fault Tolerant Systems -- Network Structure and Traffic Modeling and Simulation with CO-OPN -- Balancing Agility and Discipline with XPrince -- Extreme89: An XP War Game. | |
| 520 | |a RISE 2005 (http://rise2005.ics.forth.gr/) was the second annual inter-national workshop of the ERCIM (European Research Consortium for Informatics and Mathematics - http://www.ercim.org/) Working Group on Rapid Integration of Software Engineering techniques (RISE - http://rise.uni.lu/). RISE is an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches being part of a methodological framework, which apply to the development of new or evolving applications and systems. RISE provides an opportunity to present and discuss the latest research results and ideas in the rapid and effective integration of software engineering techniques. Target application domains of interest to RISE include: " Web-based software systems " Mobile communication systems " High-availability or mission-critical systems " Resilient business and grid applications " Ambient intelligence environments " Embedded systems and applications " User interface development " Development environments " Electronic entertainment " Enterprise computing and applications In particular, RISE 2005 focused on an open and inclusive set of key software engineering domains, which formed the focal point of the workshop, including, but not limited to: " Software and system architectures " Software reuse " Software testing " Software model checking " Model-driven design and testing techniques " Model transformation " Requirements engineering " Lightweight or practice-oriented formal methods " Software processes and software metrics " Automated software engineering " Design patterns " Design by contract " Defensive programming. | ||
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 0 | |a Computer software |v Congresses. | |
| 650 | 0 | |a Integrated software |v Congresses. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 6 | |a Logiciels |v Congrès. | |
| 650 | 6 | |a Logiciels intégrés |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh. | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh. | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh. | |
| 650 | 0 | 7 | |a Computer software. |2 cct. |
| 650 | 0 | 7 | |a Integrated software. |2 cct. |
| 650 | 0 | 7 | |a Génie logiciel. |2 cct. |
| 650 | 0 | 7 | |a Logiciels. |2 cct. |
| 650 | 0 | 7 | |a Software engineering. |2 cct. |
| 650 | 7 | |a Informatique. |2 eclas. | |
| 650 | 7 | |a Computer software. |2 fast. | |
| 650 | 7 | |a Integrated software. |2 fast. | |
| 650 | 7 | |a Software engineering. |2 fast. | |
| 653 | 0 | 0 | |a informatiesystemen. |
| 653 | 0 | 0 | |a information systems. |
| 653 | 0 | 0 | |a computerwetenschappen. |
| 653 | 0 | 0 | |a computer sciences. |
| 653 | 0 | 0 | |a software engineering. |
| 653 | 1 | 0 | |a Information and Communication Technology (General) |
| 653 | 1 | 0 | |a Informatie- en communicatietechnologie (algemeen) |
| 655 | 2 | |a Congress. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 700 | 1 | |a Guelfi, Nicolas, |d 1965- |1 https://id.oclc.org/worldcat/entity/E39PCjMxvVGf4FrJhhgJqYWKwK. | |
| 700 | 1 | |a Savidis, Anthony. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 776 | 0 | 8 | |i Print version: |a RISE 2005 (2005 : Ērakleion, Greece). |t Rapid integration of software engineering techniques. |d Berlin ; New York : Springer, ©2006 |z 3540340637 |z 9783540340638 |w (DLC) 2006925116 |w (OCoLC)69983526. |
| 830 | 0 | |a Lecture notes in computer science ; |v 3943. | |
| 907 | |a .b29625671 |b multi |c - |d 100215 |e 240320 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Comp, in 2022.12 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2018.05 | ||
| 948 | |a MARCIVE Comp, 2017.10 | ||
| 948 | |a MARCIVE August, 2017 | ||
| 948 | |a MARCIVE extract Aug 5, 2017 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
| 995 | |a Loaded with m2btab.elec in 2017.01 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a OCLC offline update by CMU | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150197901 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/11751113 |3 SpringerLink |z Click here for access | ||