Sciweavers

1579 search results - page 202 / 316
» A software development process supporting non-functional pro...
Sort
View
ACTA
2007
96views more  ACTA 2007»
15 years 5 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
ICWE
2004
Springer
15 years 11 months ago
Representing XML Schema in UML - A Comparison of Approaches
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
Martin Bernauer, Gerti Kappel, Gerhard Kramler
CAEPIA
2003
Springer
15 years 10 months ago
Social Analysis of Multi-agent Systems with Activity Theory
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
KBS
2002
88views more  KBS 2002»
15 years 5 months ago
Detecting mismatches among experts' ontologies acquired through knowledge elicitation
: We have constructed a set of ontologies modelled on conceptual structures elicited from several domain experts. Protocols were collected from various experts who advise on the se...
Adil Hameed, Derek H. Sleeman, Alun D. Preece
FOAL
2008
ACM
15 years 7 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz