Sciweavers

561 search results - page 15 / 113
» Research in Software Engineering: Paradigms and Methods
Sort
View
ICSE
2000
IEEE-ACM
14 years 12 days ago
Formal specification: a roadmap
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
Axel van Lamsweerde
COMPSAC
2009
IEEE
14 years 3 months ago
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
ISESE
2003
IEEE
14 years 2 months ago
Conducting On-line Surveys in Software Engineering
One purpose of empirical software engineering is to enable an understanding of factors that influence software development. Surveys are an appropriate empirical strategy to gather...
Teade Punter, Marcus Ciolkowski, Bernd G. Freimut,...
ICSE
2003
IEEE-ACM
14 years 9 months ago
Teaching Contract Programming Concepts to Future Software Engineers
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
Donald F. Ross
IWC
2011
111views more  IWC 2011»
13 years 3 months ago
Socio-technical systems: From design methods to systems engineering
The importance of adopting a socio-technical approach to system development is recognised by many but not widely practised. We analyse the reasons for this, considering the histor...
Gordon D. Baxter, Ian Sommerville