Sciweavers

2253 search results - page 171 / 451
» An Approach to Specifying Software Frameworks
Sort
View
238
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
Detecting similar software applications
—Although popular text search engines allow users to retrieve similar web pages, source code search engines do not have this feature. Detecting similar applications is a notoriou...
Collin McMillan, Mark Grechanik, Denys Poshyvanyk
143
Voted
MODELS
2010
Springer
15 years 2 months ago
Concern-Based (de)composition of Model-Driven Software Development Processes
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
Jendrik Johannes, Uwe Aßmann
EMSOFT
2011
Springer
14 years 3 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
SAC
2009
ACM
15 years 11 months ago
Development of a biosignals framework for usability analysis
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
Inês Oliveira, Rui Lopes, Nuno Guimarã...
ECBS
2000
IEEE
87views Hardware» more  ECBS 2000»
15 years 8 months ago
Limited Software Warranties
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
Jeffrey M. Voas