Search results for "SoMeT"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Jürgen Vörding, Maraike Schellmann, Sergei Gorlatch	Enhancing and Parallelizing Legacy Software for Medical Imaging - A Case Study.	SoMeT	2006	DBLP BibTeX RDF
1	T. S. E. Maibaum	On specifying systems that connect to the physical world.	SoMeT	2006	DBLP BibTeX RDF
1	Rikio Maruta, Noriko Taniguchi	Transforming a Non-Software Company to a Software Company by Exploiting the LYEE Methodology.	SoMeT	2006	DBLP BibTeX RDF
1	Tanja Toroi	Improving Software Test Processes.	SoMeT	2006	DBLP BibTeX RDF
1	Bee Bee Chua, June M. Verner, Darren Dalcher	A Framework for Predicting Person-Effort on Requirements Changes.	SoMeT	2006	DBLP BibTeX RDF
1	Fumio Negoro, Hamido Fujita	Theory on Software Diagnosis for Program Code Validation.	SoMeT	2006	DBLP BibTeX RDF
1	Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha	A Formal Approach for the Forensic Analysis of Logs.	SoMeT	2006	DBLP BibTeX RDF
1	Klaus Meffert, Ilka Philippow	Supporting Program Comprehension for Refactoring Operations with Annotations.	SoMeT	2006	DBLP BibTeX RDF
1	Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua	Common Criteria Approach to J2ME CLDC Security Requirements.	SoMeT	2006	DBLP BibTeX RDF
1	Daniel Godbout, Béchir Ktari, Mohamed Mejri	A Formal Translation From an Imperative Language With Array to a Declarative Language.	SoMeT	2006	DBLP BibTeX RDF
1	Asif Qumer, Brian Henderson-Sellers	A Framework to Support Non-fragile Agile Agent-Oriented Software Development.	SoMeT	2006	DBLP BibTeX RDF
1	Frédéric Michaud, Frédéric Painchaud	Source Code Verification Tools for Software Security Bugs.	SoMeT	2006	DBLP BibTeX RDF
1	Hamido Fujita, Mohamed Mejri (eds.)	New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada	SoMeT	2006	DBLP BibTeX RDF
1	Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi	Enforcing Security Policies on Programs.	SoMeT	2006	DBLP BibTeX RDF
1	Liviu Pene, Kamel Adi	A Calculus for Distributed Firewall Specification and Verification.	SoMeT	2006	DBLP BibTeX RDF
1	David Lorge Parnas	Component Interface Documentation: What do we Need and Why do we Need it?	SoMeT	2006	DBLP BibTeX RDF
1	François Gagnon, Mohamed Mejri	A Decision Procedure for Structured Cryptographic Protocols.	SoMeT	2006	DBLP BibTeX RDF
1	Tae Yoneda, Kohei Mitsui, Jun Sasaki, Yutaka Funyu	Co-Developing Model for User Participation in Web Application Development.	SoMeT	2005	DBLP BibTeX RDF
1	Hamido Fujita, Mohamed Mejri (eds.)	New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan	SoMeT	2005	DBLP BibTeX RDF
1	Leonid Kof, Markus Pizka	Validating Documentation with Domain Ontologies.	SoMeT	2005	DBLP BibTeX RDF
1	Kostas Zotos, Andreas Litke, George Stephanides, Alexander Chatzigeorgiou	The Collatz Problem in a New Perspective: Energy Consumption Analysis.	SoMeT	2005	DBLP BibTeX RDF
1	Victor Malyshkin, Yury A. Zagorulko	Limitation and Possibilities of Automation on the Way from Intention => Program.	SoMeT	2005	DBLP BibTeX RDF
1	Denis Kozlov	Approaches to Qualitative Evaluation of the Software Quality Attributes: Overview.	SoMeT	2005	DBLP BibTeX RDF
1	Jan Dünnweber, Sergei Gorlatch	Component-Based Grid Programming Using the HOC-Service Architecture.	SoMeT	2005	DBLP BibTeX RDF
1	Colette Rolland	Modelling Multi-Facetted Purposes of Artefacts.	SoMeT	2005	DBLP BibTeX RDF
1	Béchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita	LyeeBuilder.	SoMeT	2005	DBLP BibTeX RDF
1	Megan Graham, Michael J. Oudshoorn	Reengineering Software: A Case Study.	SoMeT	2005	DBLP BibTeX RDF
1	Anna Maria Di Sciullo	Handling Pronouns Intelligently.	SoMeT	2005	DBLP BibTeX RDF
1	Greg Turner, Alastair Weakley, Yun Zhang 0017, Ernest A. Edmonds	A Grounded Theory Study of Programming in Artist-Programmer Collaborations.	SoMeT	2005	DBLP BibTeX RDF
1	Parvinder Singh Sandhu, Hardeep Singh	A Neuro-Fuzzy Based Approach for the Prediction of Quality of Reusable Software Components.	SoMeT	2005	DBLP BibTeX RDF
1	George Feuerlicht, Sooksathit Meesathit	Towards Software Development Methodology for Web Services.	SoMeT	2005	DBLP BibTeX RDF
1	Bee Bee Chua, June M. Verner	IT Practitioner's Perspective on Australian Risk Management Practices and Tools for Software Development Projects: A Pilot Study.	SoMeT	2005	DBLP BibTeX RDF
1	Yuzuru Tanaka	Meme Media for the Federation of Intellectual Resources over the Web by Clipping and Combining Them.	SoMeT	2005	DBLP BibTeX RDF
1	Hideyuki Takahashi, Yoshikazu Tokairin, Takuo Suganuma, Norio Shiratori	Design and Implementation of an Agent-Based Middleware for Context-Aware Ubiquitous Services.	SoMeT	2005	DBLP BibTeX RDF
1	Fumio Negoro	Suggestions of Lyee: A Framework on Software Methodological Thinking.	SoMeT	2005	DBLP BibTeX RDF
1	Jennifer Tenzer	GUIDE: Games with UML for Interactive Design Exploration.	SoMeT	2005	DBLP BibTeX RDF
1	Olaf Spinczyk, Daniel Lohmann, Matthias Urban	Advances in AOP with AspectC++.	SoMeT	2005	DBLP BibTeX RDF
1	Gregers Koch	About Application and Implementation of Semantic Meta Parsing.	SoMeT	2005	DBLP BibTeX RDF
1	Ernest A. Edmonds, Linda Candy	Computation, Interaction and Imagination: Into Virtual Space and Back to Reality.	SoMeT	2005	DBLP BibTeX RDF
1	Roman Danylak, Ernest A. Edmonds	Acting Interactively in a Digital World.	SoMeT	2005	DBLP BibTeX RDF
1	Cesar Gonzalez-Perez, Brian Henderson-Sellers	A Representation-Theoretical Analysis of the OMG Modelling Suite.	SoMeT	2005	DBLP BibTeX RDF
1	Matthias Book, Volker Gruhn, Malte Hülder, Clemens Schäfer	A Methodology for Deriving the Architectural Implications of Different Degrees of Mobility in Information Systems.	SoMeT	2005	DBLP BibTeX RDF
1	Remigijus Gustas	Inference Rules of Semantic Dependencies in the Enterprise Modelling.	SoMeT	2005	DBLP BibTeX RDF
1	Love Ekenberg	A Gentle Introduction to System Verification.	SoMeT	2005	DBLP BibTeX RDF

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