Sciweavers

22698 search results - page 199 / 4540
» Modeling in Software Engineering
Sort
View
ESEM
2007
ACM
15 years 7 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
144
Voted
ICSE
2009
IEEE-ACM
15 years 1 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 1 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
WOSP
2000
ACM
15 years 8 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
RE
2008
Springer
15 years 3 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