Sciweavers

280 search results - page 21 / 56
» Problems and Deficiencies of UML as a Requirements Specifica...
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 10 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
RE
2002
Springer
15 years 5 months ago
Improving the Requirements Engineering Process for an Electronic Clearinghouse
We present experience with improving the requirements engineering process for a telecommunications electronic clearinghouse that connects multiple trading partners. Software failu...
Mariusz A. Fecko, Christopher M. Lott
157
Voted
TOOLS
1999
IEEE
15 years 10 months ago
Use Case Pitfalls: Top 10 Problems from Real Projects Using Use Cases
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...
Susan Lilly
DAGSTUHL
2006
15 years 7 months ago
Aspect-Oriented Techniques for Web Services: a Model-Driven Approach
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
Guadalupe Ortiz, Juan Hernández
153
Voted
ENTCS
2007
98views more  ENTCS 2007»
15 years 5 months ago
Frameworks Based on Templates for Rigorous Model-driven Development
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
Nuno Amálio, Fiona Polack, Susan Stepney