Interactive theorem proving in software engineering. Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks and keeping an order on the proofs. Still, it is a tedious task, as such mechanical proofs contain... F...
Based on this\nnotion, we present a computation model, adapted to Scientific Computing, which\ncaptures all known branching parsimonious symbolic algorithms in effective\nAlgebraic Geometry. We justify this model by arguments from Software\nEngineering. Finally we exhibit a class of simple elimination...
process, the flexibility and characterization possible through the software The problem of discrete system behavior, these four aspects analyze the development of software must be accompanied by complexity, which is a characteristic that must be accompanied by the science of software engineering. ...
Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologiesdoi:10.1007/978-3-319-49421-09th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, ProceedingsDietmar WinklerStefan BifflJohannes Bergsmann...
In software engineering it is widely acknowledged that the usage of metrics at the initial phases of the object oriented software life cycle can help designers to make better decisions and to predict external quality attributes, such as maintainability. Following this idea we have carried out three...
software process improvementAOSDLaw of Demeter for ConcernsLoDLoDCaspect-oriented software developmentautomata theoryOur research has focused on identifying ... KJ Lieberherr - International Conference on Software Engineering 被引量: 63发表: 2004年 Knowledge Management in Software Process Improvement This ...
Model-driven software evolution: An alternative research agenda In the realm of software engineering, we are witnessing an increasing momentum towards the use of models as primary artefacts for developing software systems. This gave rise to a new paradigm commonly referred to as model-driven software...
The most current trends in the evolution of software development process are closely related with the increasing complexity of software systems. This motiv... O Nikiforova,A Cernickins,N Pavlova - International Conference on Software Engineering Advances 被引量: 14发表: 2009年 ...
Computer Science - Software EngineeringProject management is a well understood management method, widely adopted today, in order to give predictable results to complex problems. However, quite often projects fail to satisfy their initial objectives. This is why studying the factors that affect the com...
Similarly, higher levels of complexity in software increase the risk of unintentionally interfering with interactions and so increases the chance of introducing defects when making changes. In more extreme cases, it can make modifying the software virtually impossible. 展开 ...