Sciweavers

3514 search results - page 86 / 703
» Evolving Specification Engineering
Sort
View
CODES
2001
IEEE
13 years 11 months ago
The usage of stochastic processes in embedded system specifications
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
Axel Jantsch, Ingo Sander, Wenbiao Wu
MKWI
2008
169views Business» more  MKWI 2008»
13 years 9 months ago
A Portal for Cross-Administrative Acquisition and Specification of Software Requirements
: For the development of software requirements within a team, efficient communication and a systematic approach are necessary. Because of the complexity of the task, the need for s...
Norman Riegel, Holger Branding, Michael Geisser, T...
CAISE
2005
Springer
14 years 1 months ago
Event-Based Modeling of Evolution for Semantic-Driven Systems
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
Peter Plessers, Olga De Troyer, Sven Casteleyn
ICSE
2012
IEEE-ACM
11 years 10 months ago
A bidirectional model-driven spreadsheet environment
Abstract—In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet m...
Jácome Cunha, João Paulo Fernandes, ...
ICSM
2006
IEEE
14 years 2 months ago
Teaching Evolution of Open-Source Projects in Software Engineering Courses
In the traditional software engineering courses, the students develop small programs from scratch. This does not correspond to industry practice where programmers spend most of th...
Joseph Buchta, Maksym Petrenko, Denys Poshyvanyk, ...