On the Role of Logic and Algebra in Software Engineering

2013 ◽  
pp. 51-68 ◽  
Author(s):  
Manfred Broy
Keyword(s):  
Software Engineering ◽  
And Algebra

Editorial: The role of formality in HCI issues in software engineering

1997 ◽  
Vol 144 (4) ◽  
pp. 193
Author(s):  
J.I. Siddiqi ◽  
C.R. Roast
Keyword(s):  
Software Engineering

The role of replications in Empirical Software Engineering

2008 ◽  
Vol 13 (2) ◽  
pp. 211-218 ◽  
Author(s):  
Forrest J. Shull ◽  
Jeffrey C. Carver ◽  
Sira Vegas ◽  
Natalia Juristo
Keyword(s):  
Software Engineering ◽  
Empirical Software Engineering

The Role of Nonmonotonic Representations in Requirements Engineering

1998 ◽  
Vol 08 (03) ◽  
pp. 385-399 ◽  
Author(s):  
Grigoris Antoniou
Keyword(s):  
Software Engineering ◽  
Knowledge Representation ◽  
Requirements Engineering ◽  
Nonmonotonic Reasoning ◽  
Default Reasoning ◽  
Requirements Prioritization ◽  
Evolving System ◽  
System Requirements

This paper discusses the significance of nonmonotonic reasoning, a method from the knowledge representation area, to mainstream software engineering. In particular, we discuss why the use of defaults in specifications is an adequate way of addressing some of the most important problems in requirements engineering, such as: The problem of identifying and dealing with inconsistencies; evolving system requirements; requirements prioritization; and the quality of specifications with respect to naturalness and compactness. We argue that these problems need to be addressed in a principled, formal way, and that default reasoning provides adequate mechanisms to deal with them.

The role of PASCAL in software engineering

1987 ◽  
Vol 11 (3) ◽  
pp. 141-148
Author(s):  
Patricia Samwell
Keyword(s):  
Software Engineering

scholarly journals On the Role of Learning Theories in Furthering Software Engineering Education

2011 ◽  
pp. 1645-1666 ◽  
Author(s):  
Emily Oh Navarro
Keyword(s):  
Software Engineering ◽  
Engineering Education ◽  
Large Body ◽  
Learning Theories ◽  
Valuable Resource ◽  
Software Engineering Education ◽  
Role Learning ◽  
How People Learn

Learning theories describe how people learn. There is a large body of work concerning learning theories on which to draw, a valuable resource of which the domain of software engineering educational research has thus far not taken full advantage. In this chapter, we explore what role learning theories could play in software engineering education. We propose that learning theories can move the field of software engineering education forward by helping us to categorize, design, evaluate, and communicate about software engineering educational approaches. We demonstrate this by: (1) surveying a set of relevant learning theories, (2) presenting a categorization of common software engineering educational approaches in terms of learning theories, and (3) using one such approach (SimSE) as a case study to explore how learning theories can be used to improve existing approaches, design new approaches, and structure and guide the evaluation of an approach.

scholarly journals Software Engineering and New Emerging Technologies

Economics ◽  
2015 ◽  
pp. 1541-1563
Author(s):  
Sergio Ricardo Mazini
Keyword(s):  
Software Engineering ◽  
Information Integration ◽  
Research Method ◽  
Emerging Technologies ◽  
Sales Force ◽  
Mobile Technologies ◽  
Sales Force Automation ◽  
Industrial Companies

This chapter presents an approach to the role of software engineering in developing solutions for new mobile technologies, like tablets. It discusses the importance of the new standards brought by emerging technologies such as engineering and how software must adapt to this new reality in order to identify the needs of data, information, integration, shares, and other issues that will contribute to the life cycle of these solutions. The chapter also discusses the contribution of users in the development process and improve these solutions. The research method is the case study conducted in industrial companies that use a digital catalog solution and sales force automation for tablets. This chapter presents a new approach based on commercial tablets which is supported by a platform of software and services called commercially Nimiam (www.nimiam.com.br).

Sign in / Sign up

Export Citation Format

Share Document