Sciweavers

11462 search results - page 85 / 2293
» Developing Application-Centric Methods
Sort
View
ENTCS
2006
94views more  ENTCS 2006»
15 years 2 months ago
Reasoning About Partial Functions in the Formal Development of Programs
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
Cliff B. Jones
117
Voted
ER
2004
Springer
106views Database» more  ER 2004»
15 years 8 months ago
Use of Tabular Analysis Method to Construct UML Sequence Diagrams
A sequence diagram in UML is used to model interactions among objects that participate in a use case. Developing a sequence diagram is complex; our experience shows that novice dev...
Margaret Hilsbos, Il-Yeol Song
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
15 years 9 months ago
Hiding real-time: A new approach for the software development of industrial robots
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, M...
XPU
2007
Springer
15 years 9 months ago
Up-Front Interaction Design in Agile Development
Abstract. In this paper we address how interaction design and agile development work together, with a focus on the issue of interaction design being done “up-front”, before sof...
Jennifer Ferreira, James Noble, Robert Biddle
PROFES
2001
Springer
15 years 7 months ago
Modular Process Patterns Supporting an Evolutionary Software Development Process
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...