Sciweavers

1037 search results - page 26 / 208
» Lightweight Languages as Software Engineering Tools
Sort
View
ISSE
2010
14 years 10 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
ICSE
2007
IEEE-ACM
15 years 12 months ago
Kato: A Program Slicing Tool for Declarative Specifications
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
Engin Uzuncaova, Sarfraz Khurshid
ISSRE
2010
IEEE
14 years 10 months ago
Detecting Dependences and Interactions in Feature-Oriented Design
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...
Sven Apel, Wolfgang Scholz, Christian Lengauer, Ch...
SIGSOFT
2005
ACM
16 years 15 days ago
Visual tool for generative programming
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
Pavel Grigorenko, Ando Saabas, Enn Tyugu
IFIP
1993
Springer
15 years 3 months ago
Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
Cláudio Walter, José Palazzo M. de O...