Sciweavers

1719 search results - page 84 / 344
» Software Re-Documentation Process and Tool
Sort
View
IWPC
2005
IEEE
15 years 9 months ago
Working Session on Interoperable Reengineering Services
Interoperability is the challenge involved in getting software components to work together. This working session discusses in depth the state of the art in reengineering tool inte...
Dean Jin, Andreas Winter
115
Voted
BIOINFORMATICS
2006
87views more  BIOINFORMATICS 2006»
15 years 3 months ago
COPASI - a COmplex PAthway SImulator
Simulation and modeling is becoming one of the standard approaches to understand complex biochemical processes. Therefore, there is a big need for software tools that allow access...
Stefan Hoops, Sven Sahle, Ralph Gauges, Christine ...
121
Voted
ECSA
2008
Springer
15 years 5 months ago
Non-synchronous Communications in Process Algebraic Architectural Description Languages
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
Marco Bernardo, Edoardo Bontà
CASCON
2007
1035views Education» more  CASCON 2007»
15 years 5 months ago
An IDE for software development using tabular expressions
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
Dennis K. Peters, Mark Lawford, Baltasar Tranc&oac...
CIBSE
2009
ACM
15 years 10 months ago
A Service-Oriented Approach for Model Management
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
Jorge Luis Pérez-Medina, Dominique Rieu, So...