Sciweavers

3385 search results - page 437 / 677
» Observer-Conditioned-Observable Design Pattern
Sort
View
117
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
An ontology-driven software architecture evaluation method
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
Aida Erfanian, Fereidoun Shams Aliee
109
Voted
ICDE
2010
IEEE
186views Database» more  ICDE 2010»
16 years 2 months ago
Mini-Me: A Min-Repro System for Database Software
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
Nicolas Bruno, Rimma V. Nehme
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
15 years 11 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
IUI
2009
ACM
15 years 11 months ago
Structuring and manipulating hand-drawn concept maps
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map cr...
Yingying Jiang, Feng Tian, XuGang Wang, Xiaolong Z...
WWW
2010
ACM
15 years 9 months ago
HTTP database connector (HDBC): RESTful access to relational databases
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...
Alexandros Marinos, Erik Wilde, Jiannan Lu