Search results for "RISE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Nicolas Guelfi, Didier Buchs (eds.)	Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers	RISE	2007	DBLP DOI BibTeX RDF
1	Adrien Coyette, Jean Vanderdonckt, Quentin Limbourg	SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping.	RISE	2006	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Anthony Savidis (eds.)	Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers	RISE	2006	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Henry Muccini, Andrea Polini	Architectural Verification of Black-Box Component-Based Systems.	RISE	2006	DBLP DOI BibTeX RDF
1	Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez	Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture.	RISE	2006	DBLP DOI BibTeX RDF
1	Giovanni Aiello, Marco Alessi, Massimo Cossentino, Alfonso Urso, Giuseppe Vella	RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation.	RISE	2006	DBLP DOI BibTeX RDF
1	Marc-Elian Bégin, Guillermo Diez-Andino Sancho, Alberto Di Meglio, Enrico Ferro, Elisabetta Ronchieri, Matteo Selmi, Marian Zurek	Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS.	RISE	2006	DBLP DOI BibTeX RDF
1	Mauro Caporuscio, Valérie Issarny	A UML 2.0 Profile for Architecting B3G Applications.	RISE	2006	DBLP DOI BibTeX RDF
1	Kenneth J. Turner, Koon Leai Larry Tan	Graphical Composition of Grid Services.	RISE	2006	DBLP DOI BibTeX RDF
1	Massimo Felici	Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain.	RISE	2006	DBLP DOI BibTeX RDF
1	Markus Schmidt 0004	Transformations of UML 2 Models Using Concrete Syntax Patterns.	RISE	2006	DBLP DOI BibTeX RDF	UML 2 Profiles, Patterns, Model Transformations
1	Matteo Risoldi, Vasco Amaral 0001	Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping.	RISE	2006	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini	Systematic Generation of XML Instances to Test Complex Software Applications.	RISE	2006	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna	Formal Development of Reactive Fault Tolerant Systems.	RISE	2005	DBLP DOI BibTeX RDF
1	Edward Lank, Ken Withee, Lisa Schile, Tom Parker	User Centred Rapid Application Development.	RISE	2005	DBLP DOI BibTeX RDF
1	Nicolas Guelfi (eds.)	Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers	RISE	2005	DBLP DOI BibTeX RDF
1	Ang Chen, Didier Buchs	Towards Service-Based Business Process Modeling, Prototyping and Integration.	RISE	2005	DBLP DOI BibTeX RDF
1	Fei Pu, Wenhui Zhang, Shaochun Wang	An Improved Case-Based Approach to LTL Model Checking.	RISE	2005	DBLP DOI BibTeX RDF
1	Bertrand Meyer 0001	Doing More with Contracts: Towards Automatic Tests and Proofs.	RISE	2005	DBLP DOI BibTeX RDF
1	Enrique Alba 0001, J. Francisco Chicano	Software Testing with Evolutionary Strategies.	RISE	2005	DBLP DOI BibTeX RDF
1	Sonia Ben Mokhtar, Damien Fournier, Nikolaos Georgantas, Valérie Issarny	Context-Aware Service Composition in Pervasive Computing Environments.	RISE	2005	DBLP DOI BibTeX RDF
1	David Hurzeler	Network Structure and Traffic Modeling and Simulation with CO-OPN.	RISE	2005	DBLP DOI BibTeX RDF
1	Medard Rieder, Rico Steiner, Cathy Berthouzoz, Francois Corthay, Thomas Sterren	Synthesized UML, a Practical Approach to Map UML to VHDL.	RISE	2005	DBLP DOI BibTeX RDF
1	Anthony Savidis	Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming.	RISE	2005	DBLP DOI BibTeX RDF
1	Massimo Felici	Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain.	RISE	2005	DBLP DOI BibTeX RDF
1	Hyun Gi Min, Soo Dong Kim	A Technique to Represent Product Line Core Assets in MDA/PIM for Automation.	RISE	2005	DBLP DOI BibTeX RDF
1	Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer 0001	Can Aspects Implement Contracts?.	RISE	2005	DBLP DOI BibTeX RDF
1	Jurgen J. Vinju	Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs.	RISE	2005	DBLP DOI BibTeX RDF
1	Jerzy R. Nawrocki, Adam Wojciechowski	Extreme89: An XP War Game.	RISE	2005	DBLP DOI BibTeX RDF
1	Jerzy R. Nawrocki, Lukasz Olek, Michal Jasiñski, Bartosz Paliswiat, Bartosz Walter, Blazej Pietrzak, Piotr Godek	Balancing Agility and Discipline with XPrince.	RISE	2005	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Johannes Eriksson, Luka Milovanov	Using Stepwise Feature Introduction in Practice: An Experience Report.	RISE	2005	DBLP DOI BibTeX RDF
1	Philippe Y. Massicotte, Linda Badri, Mourad Badri	Aspects-Classes Integration Testing Strategy: An Incremental Approach.	RISE	2005	DBLP DOI BibTeX RDF	AOST, Verification, Interactions, Generation, Sequences, Aspects, Classes, Testing Coverage, Criteria
1	Luis Pedro, Levi Lucio, Didier Buchs	Prototyping Domain Specific Languages with COOPN.	RISE	2005	DBLP DOI BibTeX RDF
1	Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio	Rapid System Development Via Product Line Architecture Implementation.	RISE	2005	DBLP DOI BibTeX RDF
1	Heejung Ohe, Byeong-Mo Chang	An Exception Monitoring System for Java.	RISE	2004	DBLP DOI BibTeX RDF	exception analysis, Java, exception propagation
1	Sharareh Afsharian, Antonia Bertolino, Guglielmo De Angelis, Paola Iovanna, Raffaela Mirandola	A Model Based Approach to Design Applications for Network Processor.	RISE	2004	DBLP DOI BibTeX RDF
1	H. A. de Jong, A. Taeke Kooiker	My Favorite Editor Anywhere.	RISE	2004	DBLP DOI BibTeX RDF
1	Marc Born, Ina Schieferdecker, Olaf Kath, Chiaki Hirai	Combining System Development and System Test in a Model-Centric Approach.	RISE	2004	DBLP DOI BibTeX RDF
1	Anthony Savidis	Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language.	RISE	2004	DBLP DOI BibTeX RDF
1	Levi Lucio, Luis Pedro, Didier Buchs	A Methodology and a Framework for Model-Based Testing.	RISE	2004	DBLP DOI BibTeX RDF
1	Aurélien Campéas, Christophe Dony, Christelle Urtado, Sylvain Vauttier	Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems.	RISE	2004	DBLP DOI BibTeX RDF
1	Elvinia Riccobene, Patrizia Scandurra	Modelling SystemC Process Behavior by the UML Method State Machines.	RISE	2004	DBLP DOI BibTeX RDF
1	Joakim Isaksson, Johan Lilius, Dragos Truscan	A MOF-Based Metamodel for SA/RT.	RISE	2004	DBLP DOI BibTeX RDF
1	Colin Atkinson 0001, Oliver Hummel	Towards a Methodology for Component-Driven Design.	RISE	2004	DBLP DOI BibTeX RDF
1	María Alpuente, Moreno Falaschi, Alicia Villanueva	A Symbolic Model Checker for tccp Programs.	RISE	2004	DBLP DOI BibTeX RDF	Timed Concurrent Constraint Programs, DDDs, Model Checking, Lightweight formal methods
1	Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen	Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.	RISE	2004	DBLP DOI BibTeX RDF
1	Christopher Nelson, Jung Soo Kim	Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report.	RISE	2004	DBLP DOI BibTeX RDF

Publications at "RISE"( http://dblp.L3S.de/Venues/RISE )