Sciweavers

2527 search results - page 102 / 506
» Software development with imperfect information
Sort
View
ETRICS
2006
15 years 10 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
ELPUB
2007
ACM
15 years 8 months ago
Automatic Content Syndication in Information Science: A Brazilian Experience in the Creation of RSS Feeds to e-journals
This paper reports the partial results of an exploratory study which intends to develop a methodology for a Web feed-based aggregation content service to electronic journals in In...
Lopes de Almeida
FASE
2007
Springer
16 years 15 days ago
Information Preserving Bidirectional Model Transformations
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank...
AVI
2008
15 years 8 months ago
Revealing uncertainty for information visualization
Uncertainty in data occurs in domains ranging from natural science to medicine to computer science. By developing ways to include uncertainty in our information visualizations we ...
Meredith M. Skeels, Bongshin Lee, Greg Smith, Geor...
CLEIEJ
2010
15 years 3 months ago
A method to define process capability profiles from the characteristics of very small software enterprises
This work presents a method for the definition of process capability profiles lined up with the specific business model of small software companies. The developed method is made u...
Cristiano Schwening, Marcello Thiry