590 research outputs found
Pricing Security Software: Theory and Evidence
Information Systems Working Papers Serie
Software theory change for resilient near-complete specifications
Software evolution and its laws are essential for antifragile system design and development. In this paper we model early-stage
perfective and corrective changes to software system architecture in terms of logical operations of expansion and safe contraction
on a theory. As a result, we formulate an inference-based notion of property specification resilience for computational systems,
intended as resistance to change. The individuated resilient core of a software system is used to characterize adaptability properties
Software theory change for resilient near-complete specifications
Software evolution and its laws are essential for antifragile system design and development. In this paper we model early-stage
perfective and corrective changes to software system architecture in terms of logical operations of expansion and safe contraction
on a theory. As a result, we formulate an inference-based notion of property specification resilience for computational systems,
intended as resistance to change. The individuated resilient core of a software system is used to characterize adaptability properties
JSClassFinder: A Tool to Detect Class-like Structures in JavaScript
With the increasing usage of JavaScript in web applications, there is a great
demand to write JavaScript code that is reliable and maintainable. To achieve
these goals, classes can be emulated in the current JavaScript standard
version. In this paper, we propose a reengineering tool to identify such
class-like structures and to create an object-oriented model based on
JavaScript source code. The tool has a parser that loads the AST (Abstract
Syntax Tree) of a JavaScript application to model its structure. It is also
integrated with the Moose platform to provide powerful visualization, e.g., UML
diagram and Distribution Maps, and well-known metric values for software
analysis. We also provide some examples with real JavaScript applications to
evaluate the tool.Comment: VI Brazilian Conference on Software: Theory and Practice (Tools
Track), p. 1-8, 201
A Bootstrap Theory: the SEMAT Kernel Itself as Runnable Software
The SEMAT kernel is a thoroughly thought generic framework for Software
Engineering system development in practice. But one should be able to test its
characteristics by means of a no less generic theory matching the SEMAT kernel.
This paper claims that such a matching theory is attainable and describes its
main principles. The conceptual starting point is the robustness of the Kernel
alphas to variations in the nature of the software system, viz. to software
automation, distribution and self-evolution. From these and from observed
Kernel properties follows the proposed bootstrap principle: a software system
theory should itself be a runnable software. Thus, the kernel alphas can be
viewed as a top-level ontology, indeed the Essence of Software Engineering.
Among the interesting consequences of this bootstrap theory, the observable
system characteristics can now be formally tested. For instance, one can check
the system completeness, viz. that software system modules fulfill each one of
the system requirements.Comment: 8 pages; 2 figures; Preprint of paper accepted for GTSE'2014
Workshop, within ICSE'2014 Conferenc
Electrical systems and networks
Designed to clarify the sequence of calculating the course project in the discipline "Electrical Systems and Networks" students of foreign education. The basic disciplines for successful mastering of the program material during the practical training are: algorithmization and software, theory of automatic control, distribution electrical networks. These guidelines provide for the formation of the following competencies: the ability to improve existing technological systems and find the best methods for their operation; ability to carry out research by methods of classical sciences, planning, organize and carry out scientific researches in the field of electric power, electrical engineering and electromechanics
- …