English
Related papers

Related papers: A Framework Based Approach for the Development of …

200 papers

One of the key challenges in electronic government (e-government) is the development of systems that can be easily integrated and interoperated to provide seamless services delivery to citizens. In recent years, Semantic Web technologies…

Artificial Intelligence · Computer Science 2011-04-27 Jean Vincent Fonou Dombeu , Magda Huisman

This paper emphasizes a determinant aim of identifying different approaches, as comparing to the education and democracy ways specific to e-government system. Introducing the information technology should offer the possibility by which…

Computers and Society · Computer Science 2010-05-24 Bostan I

E2E web test suites are prone to test dependencies due to the heterogeneous multi-tiered nature of modern web apps, which makes it difficult for developers to create isolated program states for each test case. In this paper, we present the…

Software Engineering · Computer Science 2019-10-11 Matteo Biagiola , Andrea Stocco , Ali Mesbah , Filippo Ricca , Paolo Tonella

While many students now interact with web apps across a variety of smart devices, the vast majority of our Nifty Assignments still present traditional user interfaces such as console input/output and desktop GUI. In this tutorial session,…

Computers and Society · Computer Science 2020-11-16 Kevin Lin , Sumant Guha , Joe Spaniac , Andy Zheng

Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt formal specification language should provide the following…

Software Engineering · Computer Science 2019-01-09 Karthika Venkatesan , Sujit Kumar Chakrabarti

There are around 5.3 billion Internet users, amounting to 65.7% of the global population, and web technology is the backbone of the services delivered via the Internet. To ensure web applications are free from security-related bugs, web…

Software Engineering · Computer Science 2025-07-23 I Putu Arya Dharmaadi , Elias Athanasopoulos , Fatih Turkmen

Agile development methods are commonly used to iteratively develop the information systems and they can easily handle ever-changing business requirements. Scrum is one of the most popular agile software development frameworks. The…

Software Engineering · Computer Science 2015-04-07 Martin Tomanek , Tomas Klima

The Infrastructure-as-a-Service (IaaS) model of cloud computing is a promising approach towards building elastically scaling systems. Unfortunately, building such applications today is a complex, repetitive and error-prone endeavor, as IaaS…

Software Engineering · Computer Science 2014-11-11 Rostyslav Zabolotnyi , Philipp Leitner , Waldemar Hummer , Schahram Dustdar

This paper presents a software architecture for 3D interaction techniques (ITs) and an object oriented, toolkit-independent framework that implements such architecture. ITs are composed of basic filters connected in a dataflow, where…

Human-Computer Interaction · Computer Science 2025-07-04 Pablo Figueroa , Mark Green , Benjamin Watson

Decentralized applications (DApps) have gained prominence with the advent of blockchain technology, particularly Ethereum, providing trust, transparency, and traceability. However, challenges such as rising transaction costs and block…

Software Engineering · Computer Science 2024-06-19 Do Hai Son , Nguyen Danh Hao , Tran Thi Thuy Quynh , Le Quang Minh

This report explores how (potentially constrained) natural language can be used to enable non-experts to develop process models by simply describing scenarios in plain text. To this end, a framework, called BeePath, is proposed. It allows…

Computation and Language · Computer Science 2025-08-25 Andrea Burattin , Antonio Grama , Ana-Maria Sima , Andrey Rivkin , Barbara Weber

This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE…

Software Engineering · Computer Science 2015-08-20 Nabil M. Kabbani , Daniel Welch , Caleb Priester , Stephen Schaub , Blair Durkee , Yu-Shan Sun , Murali Sitaraman

End-to-end (E2E) testing is essential for ensuring web application quality. However, manual test creation is time-consuming, and current test generation techniques produce incoherent tests. In this paper, we present AutoE2E, a novel…

Software Engineering · Computer Science 2025-01-08 Parsa Alian , Noor Nashid , Mobina Shahbandeh , Taha Shabani , Ali Mesbah

This paper presents the development of an online procurement system and the integration of blockchain technology. Various tools such as PHP, JavaScript, HTML, CSS, and jQuery were used in designing the graphical, programming logic, and…

Cryptography and Security · Computer Science 2019-11-14 August Thio-ac , Erwin John Domingo , Ricca May Reyes , Nilo Arago , Romeo Jr. Jorda , Jessica Velasco

To analyse and verify the safety and security properties of interactive systems, a formal specification might be necessary. There are many types of formal languages and frameworks. The decision regarding what type of formal specification…

Formal Languages and Automata Theory · Computer Science 2025-05-15 Maria Spichkova

Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on…

Software Engineering · Computer Science 2013-11-12 Manuel Mazzara , Michele Ciavotta

Deep learning is increasingly attracting attention for processing big data. Existing frameworks for deep learning must be set up to specialized computer systems. Gaining sufficient computing resources therefore entails high costs of…

Computer Vision and Pattern Recognition · Computer Science 2017-03-28 Masatoshi Hidaka , Ken Miura , Tatsuya Harada

The continuously advancing digitization has provided answers to the bureaucratic problems faced by eGovernance services. This innovation led them to an era of automation it has broadened the attack surface and made them a popular target for…

This paper reports on a study of transferring a desktop-based model-based engineering tool to a web application. The study has been conducted in the WEBMODEL project where the well-established technology stack around the Eclipse platform…

Software Engineering · Computer Science 2023-03-01 Florian Hölzl , Simon Barner

An early stage of developing user-facing applications is creating a wireframe to layout the interface. Once a wireframe has been created it is given to a developer to implement in code. Developing boiler plate user interface code is time…

Computer Vision and Pattern Recognition · Computer Science 2019-06-03 Alex Robinson
‹ Prev 1 3 4 5 6 7 10 Next ›