Sciweavers

5407 search results - page 221 / 1082
» The Software Engineering Global Model
Sort
View
118
Voted
ESEM
2007
ACM
15 years 8 months ago
An Estimation Model for Test Execution Effort
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
Eduardo Aranha, Paulo Borba
ICSE
2009
IEEE-ACM
15 years 2 months ago
Model checking flight control systems: The Airbus experience
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
Thomas Bochot, Pierre Virelizier, Hél&egrav...
ICSE
2010
IEEE-ACM
15 years 2 months ago
Syde: a tool for collaborative software development
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...
Lile Hattori, Michele Lanza
133
Voted
KBSE
2010
IEEE
15 years 3 months ago
Realizing architecture frameworks through megamodelling techniques
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
Rich Hilliard, Ivano Malavolta, Henry Muccini, Pat...
RE
2008
Springer
15 years 4 months ago
Extracting and Modeling Product Line Functional Requirements
We introduce an extractive approach to building a product line's requirements assets. We define the functional requirements profiles (FRPs) according to the linguistic charac...
Nan Niu, Steve M. Easterbrook