Sciweavers

1886 search results - page 99 / 378
» Modeling and Enacting Software Processes Using VRPML
Sort
View
COMPSAC
2004
IEEE
15 years 8 months ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
153
Voted
ENTCS
2006
176views more  ENTCS 2006»
15 years 4 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
UML
2005
Springer
15 years 10 months ago
From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
Neil Loughran, Américo Sampaio, Awais Rashi...
ENGL
2008
111views more  ENGL 2008»
15 years 3 months ago
Frameworks of Process Improvement for Mobile Applications
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...
Haeng-Kon Kim
APSEC
2004
IEEE
15 years 8 months ago
Comparison of Scenario-Based Software Architecture Evaluation Methods
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...
Muhammad Ali Babar, Ian Gorton