286 search results - page 39 / 58 » Agile Formality: A Mole of Software Engineering Practices |
METRICS
2005
IEEE
14 years 1 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
CBSQ
2003
Springer
14 years 25 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
CHARME
2001
Springer
14 years 3 days ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
SLE
2009
Springer
14 years 2 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...