Sciweavers

11462 search results - page 29 / 2293
» Developing Application-Centric Methods
Sort
View
CHI
2011
ACM
14 years 3 months ago
The concept maps method as a tool to evaluate the usability of APIs
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...
Jens Gerken, Hans-Christian Jetter, Michael Zö...
JSCIC
2000
187views more  JSCIC 2000»
14 years 11 months ago
A Boundary Condition Capturing Method for Multiphase Incompressible Flow
In [6], the Ghost Fluid Method (GFM) was developed to capture the boundary conditions at a contact discontinuity in the inviscid compressible Euler equations. In [11], related tec...
Myungjoo Kang, Ronald Fedkiw, Xu-Dong Liu
ENVSOFT
2002
129views more  ENVSOFT 2002»
14 years 11 months ago
Linking GIS and water resources management models: an object-oriented method
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
Daene C. McKinney, Ximing Cai
FMAM
2010
174views Formal Methods» more  FMAM 2010»
14 years 9 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
ICSEA
2009
IEEE
14 years 9 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...