Structural Monitoring using Engineer-Computer Interaction [PDF]
, 2002 Engineer–computer interaction (ECI) is a new subdomain of human–computer interaction that is specifically tailored to engineers' needs. ECI uses an information classification schema, provides a modular approach to task decomposition, and integrates ...
Stalker, R., Smith, Ian F.C.
core +3 more sources
Modal Interface Automata [PDF]
Logical Methods in Computer Science, 2013 De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for specifying interfaces of system components.
Gerald Lüttgen, Walter Vogler
doaj +1 more source
On the historical semantics of the notion of software architecture
The Journal for Transdisciplinary Research in Southern Africa, 2014 This study outlines in some detail the semantic variety of the notion of ‘software architecture’ in the field of software engineering since the early 1970s.
Stefan Gruner
doaj +1 more source
Maturity of Software Modelling and Model Driven Engineering: a Survey in the Italian Industry [PDF]
, 2012 Background: The main claimed advantage of Model-driven engineering is improvement in productivity. However, few information is available about its actual adoption during software development and maintenance in the industry.
Tiso, Alessandro +14 more
core +1 more source
Automating output size and reuse metrics in a repository-based computer-aided software engineering (CASE) environment [PDF]
, 1994 [KEYWORDS: CASE, computer aided software engineering function point analysis, object-based development, programming productiviq, repositories, reuse, sojhare costs, software engineering economics, software metrics.] F&apos ...
Charles Wright +9 more
core +1 more source
Design by Contract Revisited in the Context of Scientific Data Analysis Workflows
, 2023 Institute of Computer Science, Software Engineering Group (SEG)Institute of Computer ...
Grunske, Lars +5 more
core +1 more source
Interpolant-Based Transition Relation Approximation [PDF]
Logical Methods in Computer Science, 2007 In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, software model checkers typically use a weak approximation of the image.
Ranjit Jhala, Kenneth L. McMillan
doaj +1 more source
Fundamental Approaches to Software Engineering [PDF]
, 2018 computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications ...
core +2 more sources
from mathematics to software engineering: introducing category theory into the computer science curriculum [PDF]
, 2007 Chinese Acad Sci Res Ctr Data Technol & Knowledge Econ, AMID, Springer, World Sci Publishing, Univ Nebraska Omaha, CAS, Grad Univ, Chinese Acad Sci, Univ Amsterdam, Inst Policy & ManagementCategory theory, with its increasing role in computer ...
Zheng Yujun +5 more
core +1 more source
RaQuN: a generic and scalable n-way model matching algorithm
, 2022 Institute of Computer ScienceInstitute of Computer Science, Software Engineering Group (SEG ...
Boll, Alexander +5 more
core +1 more source