Results 241 to 250 of about 504,509 (264)

Software metrics: theory, tools and validation

Software Engineering Journal, 1990
One of the four major themes of the UK government's Alvey Programme which was established in 1983 was software engineering. This theme was subdivided into three special interest areas: formal methods, reliability and metrics and IPSEs (Integrated Project Support Environments).
openaire   +1 more source

Software Testing Theory

2010
IT is common to talk about the ‘functionality’ of software, but establishing a rigorous connection between code and a precise mathematical description of the behaviors of that code is a challenging intellectual task. The syntax of code is apparent and well understood—every programmer uses it daily and tools like compilers mechanically exploit it—but ...
openaire   +1 more source

A Theory of Software Complexity

2015 IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, 2015
openaire   +1 more source

Catastrophe theory and software engineering

ACM SIGSOFT Software Engineering Notes, 1987
openaire   +1 more source

Modeling Software: From Theory to Practice

2002
Modeling of software is hard. The most difficult task is to identify and remain faithful to the right levels of abstraction, to decide what should be in the model and what should be abstracted away. Abstract state machines (ASMs) give the modeler the maximal flexibility in dealing with this task.
openaire   +1 more source

A Theory of Value for Value-Based Feature Selection in Software Engineering

IEEE Transactions on Software Engineering, 2022
Pilar Rodríguez, Cathy Urquhart, Emilia Mendes   +2 more
exaly  

Investigating software process in practice: A grounded theory perspective

Journal of Systems and Software, 2008
Gerry Coleman, Rory V O'Connor
exaly  

Where's the Theory for Software Engineering?

IEEE Software, 2012
Pontus Johnson, Mathias Ekstedt
exaly  

Validity of Execution-Time Theory of Software Reliability

IEEE Transactions on Reliability, 1979
John D Musa
exaly  

Understanding anti-plagiarism software adoption: An extended protection motivation theory perspective

Decision Support Systems, 2011
Younghwa Lee
exaly