3799 search results - page 101 / 760 » An Engineering Approach to Formal Methods |
EMISA
2007
Springer
14 years 3 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
ECLIPSE
2006
ACM
14 years 3 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
CSEE
2007
Springer
14 years 3 months ago
2007
Springer
Software engineering educational approaches are often evaluated only anecdotally, or in informal pilot studies. We describe a unique approach to evaluating a software engineering ...
BMCBI
2007
13 years 9 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
CHARME
2001
Springer
14 years 23 days ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...