Sciweavers

543 search results - page 15 / 109
» FMC: An Approach Towards Architecture-Centric System Develop...
Sort
View
121
Voted
TOOLS
1999
IEEE
15 years 6 months ago
Cooperative Software Development: Concepts, Model and Tools
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
Josef Altmann, Gustav Pomberger
COMPSAC
2005
IEEE
15 years 7 months ago
Toward Stable Software Architecture for Wireless Sensor Networks
This research aims at developing an approach for architecting and communicating software systems in the context of wireless sensor networks. In particular, it focuses on developin...
Nader Mohamed, Haitham S. Hamza
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
14 years 11 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
142
Voted
ICDCSW
2007
IEEE
15 years 8 months ago
The WUI-Toolkit: A Model-Driven UI Development Framework for Wearable User Interfaces
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
Hendrik Witt, Tom Nicolai, Holger Kenn
COMPSAC
1998
IEEE
15 years 6 months ago
A Fresh Look at Programming-in-the-Large
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
Walter Cazzola, Andrea Savigni, Andrea Sosio, Fran...