Sciweavers

4919 search results - page 75 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
VAMOS
2007
Springer
15 years 4 months ago
Visualisation of Variability in Software Product Line Engineering
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...
Daren Nestor, Luke O'Malley, Aaron J. Quigley, Ern...
FSTTCS
2010
Springer
14 years 7 months ago
Model Checking Concurrent Programs with Nondeterminism and Randomization
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
ICSE
2003
IEEE-ACM
15 years 10 months ago
RUPi - A Unified Process that Integrates Human-Computer Interaction and Software Engineering
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
Kênia Soares Sousa, Elizabeth Furtado
AGILEDC
2007
IEEE
15 years 4 months ago
Becoming Agile using Service Learning in the Software Engineering Course
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
Brian Hanks
TSE
2010
132views more  TSE 2010»
14 years 4 months ago
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
Jules White, Brian Doughtery, Douglas C. Schmidt