Sciweavers

4258 search results - page 37 / 852
» Languages and Interactive Software Development
Sort
View
ICSE
2000
IEEE-ACM
15 years 6 months ago
An interactive multimedia software house simulation for postgraduate software engineers
: The Open University's M880 Software Engineering is a postgraduate distance education course aimed at software professionals. The case study element of the course (approximat...
Helen Sharp, Pat Hall
121
Voted
APSEC
2005
IEEE
15 years 8 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
TGC
2005
Springer
15 years 8 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
114
Voted
IFIP
2003
Springer
15 years 7 months ago
Testing Mobile Wireless Applications
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
Ichiro Satoh
149
Voted
IAT
2010
IEEE
15 years 17 days ago
Modular JADE Agents Design and Implementation Using ASEME
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
Nikolaos I. Spanoudakis, Pavlos Moraitis